<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0">
<channel>
<title>Algorithms Q&amp;A - Recent questions in NP-Completeness</title>
<link>https://notexponential.com/questions/np-completeness</link>
<description>Powered by Question2Answer</description>
<item>
<title>Snow White and 7 Conference Rooms</title>
<link>https://notexponential.com/778/snow-white-and-7-conference-rooms</link>
<description>You are the chief algorithm officer for Snow White Inc. &amp;nbsp;Because of your algorithmic abilities, Snow White Inc. is very successful and has hundreds of thousands of investors. &amp;nbsp;You are planning the next investor conference. &amp;nbsp;You want to make sure that all investors who know each other attend the meeting in different rooms. &amp;nbsp;You are trying to decide if the 7 conference rooms in the Snow White Inc. head quarters will be sufficient or not. &amp;nbsp;Prove that this decision problem is NP-complete by using one of the known NP-complete problems (CLIQUE, 3-SAT, Hamiltonian Path, Hamiltonian Cycle, Coloring, Independent Set, etc.)</description>
<category>NP-Completeness</category>
<guid isPermaLink="true">https://notexponential.com/778/snow-white-and-7-conference-rooms</guid>
<pubDate>Sun, 18 Dec 2022 10:55:44 +0000</pubDate>
</item>
<item>
<title>Prove that Sub Graph Isomorphism is Hard</title>
<link>https://notexponential.com/702/prove-that-sub-graph-isomorphism-is-hard</link>
<description>SI: Given graphs G, H: does graph G contain graph H as a subgraph?&lt;br /&gt;
&lt;br /&gt;
Prove that this decision problem is NP-complete.</description>
<category>NP-Completeness</category>
<guid isPermaLink="true">https://notexponential.com/702/prove-that-sub-graph-isomorphism-is-hard</guid>
<pubDate>Sat, 21 Dec 2019 00:38:58 +0000</pubDate>
</item>
<item>
<title>Long chain of friends</title>
<link>https://notexponential.com/556/long-chain-of-friends</link>
<description>&lt;p&gt;&lt;span style=&quot;font-family:&amp;quot;Calibri&amp;quot;,sans-serif; font-size:11.0pt&quot;&gt;You are given a list of people, and statements of the form “x knows y”.&amp;nbsp; You are asked to find, is there a chain of k people, such as x&lt;sub&gt;1&lt;/sub&gt; knows x&lt;sub&gt;2&lt;/sub&gt;, x&lt;sub&gt;2&lt;/sub&gt; knows x&lt;sub&gt;3&lt;/sub&gt;,&amp;nbsp;&amp;nbsp; and x&lt;sub&gt;k-1&lt;/sub&gt; knows x&lt;sub&gt;k&lt;/sub&gt;.&amp;nbsp; Prove that this problem is NP-complete by using one of the known NP-complete problems (CLIQUE, 3-SAT, Hamiltonian Path, Hamiltonian Cycle, Independent Set, etc.)&amp;nbsp;&lt;/span&gt;&lt;/p&gt;</description>
<category>NP-Completeness</category>
<guid isPermaLink="true">https://notexponential.com/556/long-chain-of-friends</guid>
<pubDate>Mon, 07 May 2018 00:13:29 +0000</pubDate>
</item>
<item>
<title>Prove that 3-Coloring is NP Hard (starting with SAT as known NP hard problem)</title>
<link>https://notexponential.com/489/prove-that-coloring-hard-starting-with-sat-known-hard-problem</link>
<description>Prove that 3-Coloring is NP Hard (starting with SAT as known NP hard problem)</description>
<category>NP-Completeness</category>
<guid isPermaLink="true">https://notexponential.com/489/prove-that-coloring-hard-starting-with-sat-known-hard-problem</guid>
<pubDate>Wed, 29 Nov 2017 18:55:07 +0000</pubDate>
</item>
<item>
<title>What&#039;s the time complexity for solving Sudoku with backtrack method?</title>
<link>https://notexponential.com/450/whats-time-complexity-solving-sudoku-with-backtrack-method</link>
<description>We have a 9x9 Sudoku like this&lt;br /&gt;
&lt;br /&gt;
8 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0&lt;br /&gt;
&lt;br /&gt;
0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0&lt;br /&gt;
&lt;br /&gt;
0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;7 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;9 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;2 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0&lt;br /&gt;
&lt;br /&gt;
0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;7 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0&lt;br /&gt;
&lt;br /&gt;
0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;7 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0&lt;br /&gt;
&lt;br /&gt;
0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;3 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0&lt;br /&gt;
&lt;br /&gt;
0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;6 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;8&lt;br /&gt;
&lt;br /&gt;
0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;8 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;5 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;1 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0&lt;br /&gt;
&lt;br /&gt;
0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;9 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;4 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0 &amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;&amp;nbsp;0&lt;br /&gt;
&lt;br /&gt;
Zero means empty, which needs to be filled.&lt;br /&gt;
&lt;br /&gt;
We may guess the number from 1 to 9 in Matrix[i][j] , and we also need to check if there is any repeated number in i row and j column. If it is not qualified at [i][j], we need to back trace to the previous empty. So we can guess the whole Sudoku with this method. What&amp;#039;s the time complexity? How to prove it?</description>
<category>NP-Completeness</category>
<guid isPermaLink="true">https://notexponential.com/450/whats-time-complexity-solving-sudoku-with-backtrack-method</guid>
<pubDate>Sat, 29 Apr 2017 02:36:50 +0000</pubDate>
</item>
<item>
<title>Cook-Levin Theorem</title>
<link>https://notexponential.com/410/cook-levin-theorem</link>
<description>&lt;p&gt;In section 9.4.1 in our textbook, as well as in the following slide, we encountered this definition:&lt;/p&gt;&lt;p&gt;&amp;nbsp;&lt;img alt=&quot;&quot; src=&quot;https://c3.staticflickr.com/6/5488/31423545866_a5ff92cde6_b.jpg&quot; style=&quot;height:253px; width:354px&quot;&gt;&lt;/p&gt;&lt;p&gt;I could not understand why is the length of the CNF formula is O(f(n)^3), where f(n) is the steps for the NTM to decide a string of length n.&lt;/p&gt;&lt;p&gt;Can anyone explain it? Maybe some examples or illustration would be super helpful.&lt;/p&gt;&lt;p&gt;Thanks a bunch!&lt;/p&gt;</description>
<category>NP-Completeness</category>
<guid isPermaLink="true">https://notexponential.com/410/cook-levin-theorem</guid>
<pubDate>Tue, 06 Dec 2016 14:32:10 +0000</pubDate>
</item>
<item>
<title>k-degree constrained spanning tree</title>
<link>https://notexponential.com/387/k-degree-constrained-spanning-tree</link>
<description>Finding a spanning tree is an easily solvable polynomial time problem. Consider a &amp;quot;k-degree constrained spanning tree&amp;quot;, wherein we have to find a spanning tree such that no vertex in the spanning tree has degree more than k. &amp;nbsp;Show that k-degree constrained spanning tree problem is NP-complete.</description>
<category>NP-Completeness</category>
<guid isPermaLink="true">https://notexponential.com/387/k-degree-constrained-spanning-tree</guid>
<pubDate>Fri, 02 Dec 2016 22:08:36 +0000</pubDate>
</item>
<item>
<title>Prove that Vertex Cover is NP-hard problem</title>
<link>https://notexponential.com/383/prove-that-vertex-cover-is-np-hard-problem</link>
<description>Vertex Cover problem is defined as follows:&lt;br /&gt;
&lt;br /&gt;
Given a Graph G and integer k.&lt;br /&gt;
&lt;br /&gt;
Does G have a subset S of vertices, such that: |S| = k, and every edge in G has at least one of the end points in S.&lt;br /&gt;
&lt;br /&gt;
Prove that Vertex Cover is an NP-hard problem by showing a reduction from one of the known NP-complete problems.</description>
<category>NP-Completeness</category>
<guid isPermaLink="true">https://notexponential.com/383/prove-that-vertex-cover-is-np-hard-problem</guid>
<pubDate>Mon, 21 Nov 2016 01:30:43 +0000</pubDate>
</item>
</channel>
</rss>