XpandNotes

Graph Theory Homework 1

1. Prove or disprove: 9, 6, 5, 5, 3, 3, 2, 1, 1 are the vertex degrees of some graph. Each edge contributes one degree to each of its two endpoints, therefore $\Sigma_{v \in V(G)}d(v)=2e(G)$, whic...

Posted by blueskyson on January 28, 2022

OpenCV 圖片混合

OpenCV 圖片混合的函式為： 1 cv2.addWeighted(src1, alpha, src2, beta, gamma, dst=..., dtype=...) -> dst 必要參數 src1: 第一張圖片的 numpy array。 alpha: 第一張圖片的權重。 src2: 第二張圖片的 numpy array。 beta: 第二張圖片的權...

Posted by blueskyson on December 28, 2021

OpenCV 讀檔、寫檔、分離 RGB 通道

安裝 opencv-python $ pip install opencv-python OpenCV 讀檔將圖片命名為 image.jpg 並放在與下方 python 檔案同一個目錄下。 1 2 3 4 5 # showimg.py import cv2 img = cv2.imread("image.jpg") cv2.imshow("Image", img) cv2.wai...

Posted by blueskyson on December 24, 2021

論文翻譯 A Dynamic Priority Assignment Technique for Streams with (m, k)-Firm Deadlines

摘要本文將會解決 scheduling multiple streams of real-time customers。首先介紹 (m, k)-firm deadlines 的概念以表達對 real-time stream 計時的限制：任何 k 個連續 customer 中至少有 m 個必須滿足他們的 deadline，則稱此 stream 擁有 (m, k)-firm deadline...

Posted by blueskyson on December 22, 2021

證明 Petersen graph 的圍長為 5

Prove or disprove that Petersen graph has girth 5.

Petersen graph 的定義：https://blueskyson.github.io/2021/11/12/petersen-graph/ Petersen graph 為 simple graph，故沒有 loop 與 multiple edge，也就是沒有 1-cycle 與 2-cycle，見下圖：形成 3-cycle 需要 3 個所有元素都不...

Posted by blueskyson on November 12, 2021

Petersen graph 簡介

What is Petersen graph?

Def: Petersen graph 是一種 simple graph，其頂點被標記為 5 元素集合的 2 元素子集合 (2-set)，邊為不共元素的 2 元素子集合對。光看解釋會讓人摸不著頭緒，但其實概念很簡單，首先定義一個 5 元素的集合：$\{1,2,3,4,5\}$ 接著列出所有 2 元素子集合，根據 $C^5_3=10$，總共有 10 個子集合： \[\{1,2\},\{...

Posted by blueskyson on November 12, 2021

證明二分圖沒有奇數環（若且唯若）

A graph is bipartite if and only if it has no odd cycle

必要條件：令 $G$ 為一個 bipartite，因為在 $G$ 中每走過一條邊，就會進入另一組 bipartition，所以要從某一點出發再走回該點，必定要走偶數次，故 $G$ 沒有 odd cycle。充分條件：令 $G$ 為無 odd cycle 的圖，並建構 $G$ 的 bipartite，從中選取一個 nontrivial component $H$，再從 $H$ 中選...

Posted by blueskyson on November 12, 2021

Xfce 基本設定

新酷音輸入法透過 pacman 或 apt 安裝 ibus-chewing。 $ sudo pacman -S ibus ibus-chewing libibus libchewing 新增一個腳本放在 /etc/profile.d $ sudo vim /etc/profile.d/ibus.sh 輸入以下內容以便開機時自動啟用 ibus： 1 2 3 4 GTK_IM_...

Posted by blueskyson on October 7, 2021

C# 動態折線圖

劃出類似 CPU 使用率的動態折線圖 Form1 成員用途 Chart chart 折線圖物件 int[] xvalue 折線的 x 座標陣列 int[] yvalue 折線的 y 座標陣列 ...

Posted by blueskyson on September 23, 2021

C# Asynchronous Socket

C# 傳統的 Socket 會在斷線時讓系統卡住十幾秒，就算用 try catch 機制也無法避免這個問題。而非同步連線內部的機制就不會讓系統卡住，以下是非同步連線寫出的函式。 1 2 3 4 5 6 7 8 9 10 11 12 13 // Asynchronous Socket public Socket AsyncConnect(string ip, string port) { ...

Posted by blueskyson on September 23, 2021

XpandNotes

Graph Theory Homework 1

OpenCV 圖片混合

OpenCV 讀檔、寫檔、分離 RGB 通道

論文翻譯 A Dynamic Priority Assignment Technique for Streams with (m, k)-Firm Deadlines

證明 Petersen graph 的圍長為 5

Prove or disprove that Petersen graph has girth 5.

Petersen graph 簡介

What is Petersen graph?

證明二分圖沒有奇數環（若且唯若）

A graph is bipartite if and only if it has no odd cycle

Xfce 基本設定

C# 動態折線圖

C# Asynchronous Socket

FEATURED TAGS

ABOUT ME

FRIENDS