<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/">
  <channel>
    <title>离散数学 on kamuszhou&#39;s blog</title>
    <link>https://ykyi.net/tags/%E7%A6%BB%E6%95%A3%E6%95%B0%E5%AD%A6/</link>
    <description>Recent content in 离散数学 on kamuszhou&#39;s blog</description>
    <generator>Hugo</generator>
    <language>zh-cn</language>
    <lastBuildDate>Fri, 29 Jun 2012 05:39:07 +0000</lastBuildDate>
    <atom:link href="https://ykyi.net/tags/%E7%A6%BB%E6%95%A3%E6%95%B0%E5%AD%A6/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>中山大学离散数学考试试题</title>
      <link>https://ykyi.net/?p=815/</link>
      <pubDate>Fri, 29 Jun 2012 05:39:07 +0000</pubDate>
      <guid>https://ykyi.net/?p=815/</guid>
      <description>&lt;h3 id=&#34;离散数学期末试题a卷&#34;&gt;&lt;strong&gt;《离散数学》期末试题(A卷)&lt;/strong&gt;&lt;/h3&gt;
&lt;p&gt;&lt;a href=&#34;http://ykyi.net&#34;&gt;ykyi.net&lt;/a&gt;&lt;/p&gt;
&lt;p&gt;(考试形式:闭卷  考试时间:2小时)&lt;/p&gt;
&lt;p&gt;《中山大学授予学士学位工作细则》第六条&lt;/p&gt;
&lt;p&gt;考试作弊不授予学士学位&lt;/p&gt;
&lt;p&gt;方向：                       姓名：                   学号：            &lt;/p&gt;
&lt;p&gt;出卷：                      复核：            &lt;/p&gt;
&lt;p style=&#34;margin-left:13.2500pt;&#34;&gt;
  1.&amp;nbsp;(10&amp;nbsp;points)&amp;nbsp;&amp;nbsp;A,&amp;nbsp;B&amp;nbsp;and&amp;nbsp;C&amp;nbsp;are&amp;nbsp;sets,&amp;nbsp;prove&amp;nbsp;or&amp;nbsp;disprove&amp;nbsp;the&amp;nbsp;following&amp;nbsp;statements.
&lt;/p&gt;
&lt;p style=&#34;margin-left:10.5000pt;&#34;&gt;
  (1).&amp;nbsp;if&amp;nbsp;A&amp;nbsp;&amp;ndash;&amp;nbsp;B&amp;nbsp;=&amp;nbsp;A&amp;nbsp;&amp;ndash;&amp;nbsp;C,&amp;nbsp;then&amp;nbsp;B&amp;nbsp;=&amp;nbsp;C
&lt;/p&gt;
&lt;p style=&#34;margin-left:10.5000pt;&#34;&gt;
  (2).&amp;nbsp;if&amp;nbsp;A&amp;nbsp;&amp;acute;&amp;nbsp;B&amp;nbsp;=&amp;nbsp;A&amp;nbsp;&amp;acute;&amp;nbsp;C,&amp;nbsp;A&amp;nbsp;&amp;sup1;&amp;nbsp;&amp;AElig;,&amp;nbsp;then&amp;nbsp;B&amp;nbsp;=&amp;nbsp;C
&lt;/p&gt;
&lt;p style=&#34;margin-left:13.2500pt;&#34;&gt;
  2.&amp;nbsp;(10&amp;nbsp;points)&amp;nbsp;&amp;nbsp;Write&amp;nbsp;each&amp;nbsp;of&amp;nbsp;the&amp;nbsp;following&amp;nbsp;statements&amp;nbsp;in&amp;nbsp;terms&amp;nbsp;of&amp;nbsp;propositional&amp;nbsp;variables,&amp;nbsp;predicates,&amp;nbsp;quantifiers&amp;nbsp;and&amp;nbsp;logical&amp;nbsp;connectives.&amp;nbsp;You&amp;nbsp;can&amp;nbsp;choose&amp;nbsp;any&amp;nbsp;propositional&amp;nbsp;variables&amp;nbsp;and&amp;nbsp;predicates&amp;nbsp;freely.
&lt;/p&gt;
&lt;p style=&#34;margin-left:10.5000pt;&#34;&gt;
  (1).&amp;nbsp;If&amp;nbsp;I&amp;nbsp;like&amp;nbsp;the&amp;nbsp;course&amp;nbsp;or&amp;nbsp;the&amp;nbsp;teacher,&amp;nbsp;I&amp;nbsp;will&amp;nbsp;attend&amp;nbsp;the&amp;nbsp;class. (statement&amp;nbsp;and&amp;nbsp;its&amp;nbsp;negation)
&lt;/p&gt;
&lt;p style=&#34;margin-left:10.5000pt;&#34;&gt;
  (2).&amp;nbsp;For&amp;nbsp;all&amp;nbsp;students&amp;nbsp;of&amp;nbsp;our&amp;nbsp;school,&amp;nbsp;someone&amp;nbsp;studies&amp;nbsp;hard&amp;nbsp;and&amp;nbsp;has&amp;nbsp;good&amp;nbsp;score,&amp;nbsp;someone&amp;nbsp;studies&amp;nbsp;hard&amp;nbsp;and&amp;nbsp;does&amp;nbsp;not&amp;nbsp;have&amp;nbsp;good&amp;nbsp;score.
&lt;/p&gt;
&lt;p style=&#34;margin-left:10.5000pt;&#34;&gt;
  Note:&amp;nbsp;The&amp;nbsp;first&amp;nbsp;question&amp;nbsp;is&amp;nbsp;expressed&amp;nbsp;in&amp;nbsp;propositional&amp;nbsp;logic,&amp;nbsp;the&amp;nbsp;second&amp;nbsp;is&amp;nbsp;expressed&amp;nbsp;in&amp;nbsp;predicate&amp;nbsp;logic.
&lt;/p&gt;
&lt;p style=&#34;margin-left:13.2500pt;&#34;&gt;
  3.&amp;nbsp;(15&amp;nbsp;points)&amp;nbsp;Let&amp;nbsp;A={a,b,c,d,e},&amp;nbsp;a&amp;nbsp;relation&amp;nbsp;R&amp;nbsp;on&amp;nbsp;A&amp;nbsp;is&amp;nbsp;{(a,b),&amp;nbsp;(b,b),&amp;nbsp;(b,c),&amp;nbsp;(b,d),&amp;nbsp;(c,d),&amp;nbsp;(d,d),&amp;nbsp;(d,e),&amp;nbsp;(e,d)}.
&lt;/p&gt;
&lt;p style=&#34;margin-left:10.5000pt;&#34;&gt;
  (1)&amp;nbsp;Give&amp;nbsp;the&amp;nbsp;digraph&amp;nbsp;and&amp;nbsp;matrix&amp;nbsp;of&amp;nbsp;relation&amp;nbsp;R;
&lt;/p&gt;
&lt;p style=&#34;margin-left:10.5000pt;&#34;&gt;
  (2)&amp;nbsp;Compute&amp;nbsp;R2,&amp;nbsp;reflexive&amp;nbsp;closure&amp;nbsp;r(R)&amp;nbsp;and&amp;nbsp;symmetric&amp;nbsp;closure&amp;nbsp;s(R).
&lt;/p&gt;
&lt;p style=&#34;margin-left:13.2500pt;&#34;&gt;
  4.&amp;nbsp;(15&amp;nbsp;points)&amp;nbsp;Let&amp;nbsp;S&amp;Icirc;Z+&amp;nbsp;and&amp;nbsp;A=S&amp;times;S.&amp;nbsp;Define&amp;nbsp;the&amp;nbsp;following&amp;nbsp;relation&amp;nbsp;R&amp;nbsp;on&amp;nbsp;A:
&lt;/p&gt;
&lt;p style=&#34;margin-left:13.2000pt;&#34;&gt;
  (a,b)&amp;nbsp;R&amp;nbsp;(a&amp;prime;,b&amp;prime;)&amp;nbsp;if&amp;nbsp;and&amp;nbsp;only&amp;nbsp;if&amp;nbsp;ab&amp;prime;=a&amp;prime;b
&lt;/p&gt;
&lt;p style=&#34;margin-left:10.5000pt;&#34;&gt;
  (1)&amp;nbsp;Show&amp;nbsp;that&amp;nbsp;R&amp;nbsp;is&amp;nbsp;an&amp;nbsp;equivalent&amp;nbsp;relation;
&lt;/p&gt;
&lt;p style=&#34;margin-left:10.5000pt;&#34;&gt;
  (2)&amp;nbsp;Let&amp;nbsp;S={1,2,3,4,5,6,7,8,9},&amp;nbsp;compute&amp;nbsp;the&amp;nbsp;equivalent&amp;nbsp;class&amp;nbsp;[(2,4)].
&lt;/p&gt;
&lt;p&gt;5. (10 points) Let function f(x, y)=( x+3y, 2x+y), (x, y)ÎR×R, prove that f is bijection.&lt;/p&gt;
&lt;p&gt;6. (15 points) Let A={2, 4, 5, 6, 8, 10, 12, 20, 120}, R is the relation of divisibility on A.&lt;/p&gt;
&lt;p style=&#34;margin-left:10.5000pt;&#34;&gt;
  (1)&amp;nbsp;Draw&amp;nbsp;the&amp;nbsp;Hasse&amp;nbsp;diagram&amp;nbsp;of&amp;nbsp;the&amp;nbsp;poset&amp;nbsp;&lt;A,&amp;nbsp;R&gt;;
&lt;/p&gt;
&lt;p style=&#34;margin-left:10.5000pt;&#34;&gt;
  (2)&amp;nbsp;Find&amp;nbsp;all&amp;nbsp;the&amp;nbsp;minimal&amp;nbsp;elements,&amp;nbsp;the&amp;nbsp;maximal&amp;nbsp;elements,&amp;nbsp;the&amp;nbsp;least&amp;nbsp;element&amp;nbsp;and&amp;nbsp;the&amp;nbsp;greatest&amp;nbsp;element&amp;nbsp;of&amp;nbsp;the&amp;nbsp;poset&amp;nbsp;&lt;A,&amp;nbsp;R&gt;&amp;nbsp;if&amp;nbsp;they&amp;nbsp;exist;
&lt;/p&gt;
&lt;p style=&#34;margin-left:10.5000pt;&#34;&gt;
  (3)&amp;nbsp;Let&amp;nbsp;B&amp;nbsp;=&amp;nbsp;{2,&amp;nbsp;4,&amp;nbsp;6},&amp;nbsp;find&amp;nbsp;the&amp;nbsp;upper&amp;nbsp;bound,&amp;nbsp;the&amp;nbsp;lower&amp;nbsp;bound,&amp;nbsp;the&amp;nbsp;least&amp;nbsp;upper&amp;nbsp;bound&amp;nbsp;and&amp;nbsp;the&amp;nbsp;greatest&amp;nbsp;lower&amp;nbsp;bound&amp;nbsp;of&amp;nbsp;B&amp;nbsp;if&amp;nbsp;they&amp;nbsp;exist.
&lt;/p&gt;
&lt;p&gt; &lt;/p&gt;
&lt;p style=&#34;margin-left:13.2500pt;&#34;&gt;
  7.&amp;nbsp;(15&amp;nbsp;points)&amp;nbsp;Use&amp;nbsp;the&amp;nbsp;labeling&amp;nbsp;algorithm&amp;nbsp;(Ford-Fulkerson&amp;rsquo;s)&amp;nbsp;to&amp;nbsp;find&amp;nbsp;a&amp;nbsp;maximum&amp;nbsp;flow&amp;nbsp;for&amp;nbsp;the&amp;nbsp;following&amp;nbsp;transport&amp;nbsp;network&amp;nbsp;in&amp;nbsp;Fig.&amp;nbsp;1.&amp;nbsp;Use&amp;nbsp;of&amp;nbsp;figures&amp;nbsp;is&amp;nbsp;required&amp;nbsp;to&amp;nbsp;show&amp;nbsp;the&amp;nbsp;variety&amp;nbsp;of&amp;nbsp;flows&amp;nbsp;during&amp;nbsp;the&amp;nbsp;procedure.
&lt;/p&gt;
&lt;p&gt; &lt;/p&gt;
&lt;img decoding=&#34;async&#34; alt=&#34;labeling algorithm (Ford-Fulkerson’s) to find a maximum flow for the following transport network&#34; src=&#34;https://ykyi.net/imgs/discrete_math/Ford-Fulkerson.jpg&#34; /&gt; 
&lt;p&gt; &lt;/p&gt;</description>
    </item>
  </channel>
</rss>
