這裡介紹離散數學中兩個重要的函式，即底函式和頂函式。令x為實數。底函式把x下捨入到小於或等於x又最接近x的整數，而頂函式則把x上捨入到大於或等於x又最接近x的整數。在統計物件個數時常使用這兩個函式。在分析解一定規模的問題的計算機過程使用的步數時，這兩個函式起著重要的作用。
定義：底函式指派給實數x的是小於或等於x的最大整數。底函式在x的值用└x┘表示。頂函式指派給實數x的是大於或等於x的最小整數。頂函式在x的值用┌x┐表示。
注意：底函式也常稱為最大整數函式，這時往往用[x]表示。
例：下面是底函式和頂函式的若干值
└1/2┘=0，┌1/2┐=1，└-1/2┘=-1，┌-1/2┐=0，
└3.1┘=3，┌3.1┐=4，└7┘=7，┌7┐=7
性質：
└x┘=n當且僅當n<=x┌x┐=n當且僅當n-1└x┘=n當且僅當x-1┌x┐=n當且僅當x<=n given the following graph,find the minimum cost cover in two ways 匈牙利演算法是由匈牙利數學家edmonds於1965年提出，因而得名。匈牙利演算法是基於hall定理中充分性證明的思想，它是部圖匹配最常見的演算法，該演算法的核心就是尋... 1.復合命題的真值只取決於各原子命題的真值，而與它們的內容 含義無關，與原子命題之間是否有關係無關。2.命題公式 1 重言式 2 矛盾式 3 可滿足式 1.重言式 給定一命題公式，若無論對分量作怎樣的指派，其對應的真值永為真，則稱該命題為重言式或永真式 2.給定一命題公式，若無論對分量作怎樣的指派，... 為什麼要研究乙個關係的演算法？我總是在想這個 難道是現實世界關係的模型對於我們來說，都是數學中研究的關係 關係把世界連線為了乙個巨大的網 一，關係的定義以及性質 從數學的角度來說，關係是笛卡兒的子集，就是乙個二維表，還可以是乙個矩陣，乙個有向圖。關係有一些性質，自反 a,b有相同的父母 對稱 a,b...離散數學之匈牙利演算法
離散數學 筆記
《離散數學》關係