polynomial time reductions
play

Polynomial Time Reductions Lecture 22 April 18, 2017 Chandra - PowerPoint PPT Presentation

Dec 06, 2022 •420 likes •1.42k views

CS 374: Algorithms & Models of Computation, Spring 2017 Polynomial Time Reductions Lecture 22 April 18, 2017 Chandra Chekuri (UIUC) CS374 1 Spring 2017 1 / 1 Part I (Polynomial Time) Reductions Chandra Chekuri (UIUC) CS374 2

  1. CS 374: Algorithms & Models of Computation, Spring 2017 Polynomial Time Reductions Lecture 22 April 18, 2017 Chandra Chekuri (UIUC) CS374 1 Spring 2017 1 / 1

  2. Part I (Polynomial Time) Reductions Chandra Chekuri (UIUC) CS374 2 Spring 2017 2 / 1

  3. Reductions A reduction from Problem X to Problem Y means (informally) that if we have an algorithm for Problem Y , we can use it to find an algorithm for Problem X . Chandra Chekuri (UIUC) CS374 3 Spring 2017 3 / 1

  4. Reductions A reduction from Problem X to Problem Y means (informally) that if we have an algorithm for Problem Y , we can use it to find an algorithm for Problem X . Using Reductions We use reductions to find algorithms to solve problems. 1 Chandra Chekuri (UIUC) CS374 3 Spring 2017 3 / 1

  5. Reductions A reduction from Problem X to Problem Y means (informally) that if we have an algorithm for Problem Y , we can use it to find an algorithm for Problem X . Using Reductions We use reductions to find algorithms to solve problems. 1 We also use reductions to show that we can’t find algorithms for 2 some problems. (We say that these problems are hard.) Chandra Chekuri (UIUC) CS374 3 Spring 2017 3 / 1

  6. Reductions for decision problems/languages For languages L X , L Y , a reduction from L X to L Y is: An algorithm . . . 1 Input: w ∈ Σ ∗ 2 Output: w ′ ∈ Σ ∗ 3 Such that: 4 w ′ ∈ L X w ∈ L Y ⇐ ⇒ Chandra Chekuri (UIUC) CS374 4 Spring 2017 4 / 1

  7. Reductions for decision problems/languages For languages L X , L Y , a reduction from L X to L Y is: An algorithm . . . 1 Input: w ∈ Σ ∗ 2 Output: w ′ ∈ Σ ∗ 3 Such that: 4 w ′ ∈ L X w ∈ L Y ⇐ ⇒ (Actually, this is only one type of reduction, but this is the one we’ll use most often.) There are other kinds of reductions. Chandra Chekuri (UIUC) CS374 4 Spring 2017 4 / 1

  8. Reductions for decision problems/languages For decision problems X , Y , a reduction from X to Y is: An algorithm . . . 1 Input: I X , an instance of X . 2 Output: I Y an instance of Y . 3 Such that: 4 I Y is YES instance of Y ⇐ ⇒ I X is YES instance of X Chandra Chekuri (UIUC) CS374 5 Spring 2017 5 / 1

  9. Using reductions to solve problems R : Reduction X → Y 1 A Y : algorithm for Y : 2 Chandra Chekuri (UIUC) CS374 6 Spring 2017 6 / 1

  10. Using reductions to solve problems R : Reduction X → Y 1 A Y : algorithm for Y : 2 = ⇒ New algorithm for X : 3 A X ( I X ) : // I X : instance of X . I Y ⇐ R ( I X ) return A Y ( I Y ) Chandra Chekuri (UIUC) CS374 6 Spring 2017 6 / 1

  11. Using reductions to solve problems R : Reduction X → Y 1 A Y : algorithm for Y : 2 = ⇒ New algorithm for X : 3 A X ( I X ) : // I X : instance of X . I Y ⇐ R ( I X ) return A Y ( I Y ) YES I X I Y R A Y NO A X If R and A Y polynomial-time = ⇒ A X polynomial-time. Chandra Chekuri (UIUC) CS374 6 Spring 2017 6 / 1

  12. Comparing Problems “Problem X is no harder to solve than Problem Y ”. 1 If Problem X reduces to Problem Y (we write X ≤ Y ), then 2 X cannot be harder to solve than Y . X ≤ Y : 3 X is no harder than Y , or 1 Y is at least as hard as X . 2 Chandra Chekuri (UIUC) CS374 7 Spring 2017 7 / 1

  13. Part II Examples of Reductions Chandra Chekuri (UIUC) CS374 8 Spring 2017 8 / 1

  14. Independent Sets and Cliques Given a graph G , a set of vertices V ′ is: Chandra Chekuri (UIUC) CS374 9 Spring 2017 9 / 1

  15. Independent Sets and Cliques Given a graph G , a set of vertices V ′ is: independent set : no two vertices of V ′ connected by an edge. 1 Chandra Chekuri (UIUC) CS374 9 Spring 2017 9 / 1

  16. Independent Sets and Cliques Given a graph G , a set of vertices V ′ is: independent set : no two vertices of V ′ connected by an edge. 1 clique : every pair of vertices in V ′ is connected by an edge of 2 G . Chandra Chekuri (UIUC) CS374 9 Spring 2017 9 / 1

  17. Independent Sets and Cliques Given a graph G , a set of vertices V ′ is: independent set : no two vertices of V ′ connected by an edge. 1 clique : every pair of vertices in V ′ is connected by an edge of 2 G . Chandra Chekuri (UIUC) CS374 9 Spring 2017 9 / 1

  18. Independent Sets and Cliques Given a graph G , a set of vertices V ′ is: independent set : no two vertices of V ′ connected by an edge. 1 clique : every pair of vertices in V ′ is connected by an edge of 2 G . Chandra Chekuri (UIUC) CS374 9 Spring 2017 9 / 1

  19. Independent Sets and Cliques Given a graph G , a set of vertices V ′ is: independent set : no two vertices of V ′ connected by an edge. 1 clique : every pair of vertices in V ′ is connected by an edge of 2 G . Chandra Chekuri (UIUC) CS374 9 Spring 2017 9 / 1

  20. The Independent Set and Clique Problems Problem: Independent Set Instance: A graph G and an integer k . Question: Does G has an independent set of size ≥ k ? Chandra Chekuri (UIUC) CS374 10 Spring 2017 10 / 1

  21. The Independent Set and Clique Problems Problem: Independent Set Instance: A graph G and an integer k . Question: Does G has an independent set of size ≥ k ? Problem: Clique Instance: A graph G and an integer k . Question: Does G has a clique of size ≥ k ? Chandra Chekuri (UIUC) CS374 10 Spring 2017 10 / 1

  22. Recall For decision problems X , Y , a reduction from X to Y is: An algorithm . . . 1 that takes I X , an instance of X as input . . . 2 and returns I Y , an instance of Y as output . . . 3 such that the solution (YES/NO) to I Y is the same as the 4 solution to I X . Chandra Chekuri (UIUC) CS374 11 Spring 2017 11 / 1

  23. Reducing Independent Set to Clique An instance of Independent Set is a graph G and an integer k . Chandra Chekuri (UIUC) CS374 12 Spring 2017 12 / 1

  24. Reducing Independent Set to Clique An instance of Independent Set is a graph G and an integer k . Chandra Chekuri (UIUC) CS374 12 Spring 2017 12 / 1

  25. Reducing Independent Set to Clique An instance of Independent Set is a graph G and an integer k . Reduction given < G , k > outputs < G , k > where G is the complement of G . G has an edge ( u , v ) if and only if ( u , v ) is not an edge of G . Chandra Chekuri (UIUC) CS374 12 Spring 2017 12 / 1

  26. Reducing Independent Set to Clique An instance of Independent Set is a graph G and an integer k . Reduction given < G , k > outputs < G , k > where G is the complement of G . G has an edge ( u , v ) if and only if ( u , v ) is not an edge of G . Chandra Chekuri (UIUC) CS374 12 Spring 2017 12 / 1

  27. Reducing Independent Set to Clique An instance of Independent Set is a graph G and an integer k . Reduction given < G , k > outputs < G , k > where G is the complement of G . G has an edge ( u , v ) if and only if ( u , v ) is not an edge of G . Chandra Chekuri (UIUC) CS374 12 Spring 2017 12 / 1

  28. Reducing Independent Set to Clique An instance of Independent Set is a graph G and an integer k . Reduction given < G , k > outputs < G , k > where G is the complement of G . G has an edge ( u , v ) if and only if ( u , v ) is not an edge of G . Chandra Chekuri (UIUC) CS374 12 Spring 2017 12 / 1

  29. Correctness of reduction Lemma G has an independent set of size k if and only if G has a clique of size k . Proof. Need to prove two facts: G has independent set of size at least k implies that G has a clique of size at least k . G has a clique of size at least k implies that G has an independent set of size at least k . Easy to see both from the fact that S ⊆ V is an independent set in G if and only if S is a clique in G . Chandra Chekuri (UIUC) CS374 13 Spring 2017 13 / 1

  30. Independent Set and Clique Independent Set ≤ Clique . 1 Chandra Chekuri (UIUC) CS374 14 Spring 2017 14 / 1

  31. Independent Set and Clique Independent Set ≤ Clique . 1 What does this mean? If have an algorithm for Clique , then we have an algorithm for 2 Independent Set . Chandra Chekuri (UIUC) CS374 14 Spring 2017 14 / 1

  32. Independent Set and Clique Independent Set ≤ Clique . 1 What does this mean? If have an algorithm for Clique , then we have an algorithm for 2 Independent Set . Clique is at least as hard as Independent Set . 3 Chandra Chekuri (UIUC) CS374 14 Spring 2017 14 / 1

  33. Independent Set and Clique Independent Set ≤ Clique . 1 What does this mean? If have an algorithm for Clique , then we have an algorithm for 2 Independent Set . Clique is at least as hard as Independent Set . 3 Also... Clique ≤ Independent Set . Why? Thus Clique and 4 Independent Set are polnomial-time equivalent. Chandra Chekuri (UIUC) CS374 14 Spring 2017 14 / 1

  34. Independent Set and Clique Assume you can solve the Clique problem in T ( n ) time. Then you can solve the Independent Set problem in (A) O ( T ( n )) time. (B) O ( n log n + T ( n )) time. (C) O ( n 2 T ( n 2 )) time. (D) O ( n 4 T ( n 4 )) time. (E) O ( n 2 + T ( n 2 )) time. (F) Does not matter - all these are polynomial if T ( n ) is polynomial, which is good enough for our purposes. Chandra Chekuri (UIUC) CS374 15 Spring 2017 15 / 1

  35. DFA Universality A DFA M is universal if it accepts every string. That is, L ( M ) = Σ ∗ , the set of all strings. Chandra Chekuri (UIUC) CS374 16 Spring 2017 16 / 1

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Polynomial-time reductions We have seen several reductions: Polynomial-time reductions Informal

Polynomial-time reductions We have seen several reductions: Polynomial-time reductions Informal

Polynomial-time reductions We have seen several reductions: Polynomial-time reductions Informal explanation of reductions: We have two problems, X and Y. Suppose we have a black-box solving problem X in polynomial-time. Can we use the black-box

1.38k views • 32 slides
Intractable Problems Time-Bounded Turing Machines Classes P and NP Polynomial-Time Reductions 1

Intractable Problems Time-Bounded Turing Machines Classes P and NP Polynomial-Time Reductions 1

Intractable Problems Time-Bounded Turing Machines Classes P and NP Polynomial-Time Reductions 1 Time-Bounded TMs A Turing machine that, given an input of length n, always halts within T(n) moves is said to be T(n)-time bounded . The

455 views • 28 slides
NP-Hardness reductions Definition: P is the class of problems that can be solved in polynomial

NP-Hardness reductions Definition: P is the class of problems that can be solved in polynomial

NP-Hardness reductions Definition: P is the class of problems that can be solved in polynomial time, that is n c for a constant c Roughly, if a problem is in P then it's easy, and if it's not in P then it's hard. We'd like to show that

1.23k views • 107 slides
NP and Polynomial Time Reductions Lecture 23 November 17, 2015 Chandra &amp; Manoj (UIUC)

NP and Polynomial Time Reductions Lecture 23 November 17, 2015 Chandra &amp; Manoj (UIUC)

CS 374: Algorithms &amp; Models of Computation, Fall 2015 NP and Polynomial Time Reductions Lecture 23 November 17, 2015 Chandra &amp; Manoj (UIUC) CS374 1 Fall 2015 1 / 64 Part I NP, Showing Problems to be in NP Chandra &amp; Manoj

1.65k views • 119 slides
Polynomial Time corresponds to Solutions of Polynomial Ordinary Differential Equations of

Polynomial Time corresponds to Solutions of Polynomial Ordinary Differential Equations of

Polynomial Time corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length Olivier Bournez, Daniel Graa and Amaury Pouly July 13, 2015 Main result and consequences Theorem (Informal) PTIME = PIVP of

633 views • 47 slides
Polynomial-Time Problems Lecture 4: The polynomial method Part II: All-pairs shortest paths

Polynomial-Time Problems Lecture 4: The polynomial method Part II: All-pairs shortest paths

Complexity Theory of Polynomial-Time Problems Lecture 4: The polynomial method Part II: All-pairs shortest paths Sebastian Krinninger Overview on APSP Algorithms Floyd-Warshall algorithm: ( 3 ) Inserts one node at a time

687 views • 42 slides
NP-Completeness 1 Almost all the algorithms we have studies so far are polynomial-time

NP-Completeness 1 Almost all the algorithms we have studies so far are polynomial-time

Chapter 5 NP-Completeness 1 Almost all the algorithms we have studies so far are polynomial-time algorithms, i.e., the running time is O ( n k ) for some constant k . Generally, we think of problems that are solvable by polynomial-time

532 views • 42 slides
Intractable Problems [HMU06,Chp.10a] Time-Bounded Turing Machines Classes P and NP

Intractable Problems [HMU06,Chp.10a] Time-Bounded Turing Machines Classes P and NP

Intractable Problems [HMU06,Chp.10a] Time-Bounded Turing Machines Classes P and NP Polynomial-Time Reductions A 10 Minute Motivation https://www.youtube.com/watch?v= YX40hbAHx3s 1 Time-Bounded TMs A Turing machine

755 views • 24 slides
Halt return result; } true 5 6 1 The Halting Problem Undecidability Alan Turing, 1936

Halt return result; } true 5 6 1 The Halting Problem Undecidability Alan Turing, 1936

Polynomial-time Algorithms Most of the algorithms we have seen so far have been polynomial-time algorithms Introduction to NP Completeness Input size n =&gt; worst-case running time of n k , Chapter 9 where k is a constant CPTR 318 Can

212 views • 5 slides
Polynomial-Time Problems Lecture 3: The polynomial method Part I: Orthogonal Vectors Sebastian

Polynomial-Time Problems Lecture 3: The polynomial method Part I: Orthogonal Vectors Sebastian

Complexity Theory of Polynomial-Time Problems Lecture 3: The polynomial method Part I: Orthogonal Vectors Sebastian Krinninger Organization of lecture No lecture on 26.05. (State holiday) 2 nd exercise sheet: Next week Tutorials:

380 views • 34 slides
Summary of What We Know Definition (Polynomial Time Reducibility) We write A P B iff there is

Summary of What We Know Definition (Polynomial Time Reducibility) We write A P B iff there is

Summary of What We Know Definition (Polynomial Time Reducibility) We write A P B iff there is a polynomial time computable Computability and Complexity function f such that for any input w we have w A iff f ( w ) B . Definition

36 views • 3 slides
CS 301 Lecture 25 NP -complete Stephen Checkoway April 29, 2018 1 / 30 Polynomial-time

CS 301 Lecture 25 NP -complete Stephen Checkoway April 29, 2018 1 / 30 Polynomial-time

CS 301 Lecture 25 NP -complete Stephen Checkoway April 29, 2018 1 / 30 Polynomial-time reducibility A function f is a polynomial-time computable function if some poly-time TM M exists that halts with just f ( w ) on its

1.36k views • 99 slides
Polynomial Methods in Time-Series Analysis . Aparicio-Prez 1 F 1 National Institute of

Polynomial Methods in Time-Series Analysis . Aparicio-Prez 1 F 1 National Institute of

Introduction Matrix Polynomial Equations and Autocovariances VARMA Process Filtering and Matrix Fraction Descriptions Exact Multivariate Wiener-Kolmogorov Filtering Summary Polynomial Methods in Time-Series Analysis . Aparicio-Prez 1 F 1

1.7k views • 34 slides
Limit cycles, centers and time-reversibility in systems of polynomial differential equations

Limit cycles, centers and time-reversibility in systems of polynomial differential equations

Introduction The center and cyclicity problems Time-reversibility and a polynomial subalgebra Limit cycles, centers and time-reversibility in systems of polynomial differential equations Valery Romanovski CAMTP Center for Applied

737 views • 45 slides
MA/CSSE 473 Day 38 Problems Decision Problems P and NP Polynomial time algorithms INTRO TO

MA/CSSE 473 Day 38 Problems Decision Problems P and NP Polynomial time algorithms INTRO TO

MA/CSSE 473 Day 38 Problems Decision Problems P and NP Polynomial time algorithms INTRO TO COMPUTATIONAL COMPLEXITY 1 The Law of the Algorithm Jungle Polynomial good, exponential bad! The latter is obvious, the former may need some

510 views • 16 slides
Advanced Algorithms COMS31900 Approximation algorithms part four Asymptotic Polynomial Time

Advanced Algorithms COMS31900 Approximation algorithms part four Asymptotic Polynomial Time

Advanced Algorithms COMS31900 Approximation algorithms part four Asymptotic Polynomial Time Approximation Schemes Rapha el Clifford Slides by Benjamin Sach Approximation Algorithms Recap A polynomial time algorithm A is an

1.52k views • 134 slides
Instances for Free* Neil Mitchell www.cs.york.ac.uk/~ndm (* Postage and packaging charges may

Instances for Free* Neil Mitchell www.cs.york.ac.uk/~ndm (* Postage and packaging charges may

Instances for Free* Neil Mitchell www.cs.york.ac.uk/~ndm (* Postage and packaging charges may apply) Haskell has type classes f :: Eq a =&gt; a -&gt; a -&gt; Bool f x y = x == y Polymorphic (for all type a) Provided they support Eq

624 views • 35 slides
Some notes on Japanese T EXt Processing KUROKI Yusuke kuroky(at)users.sourceforge.jp October

Some notes on Japanese T EXt Processing KUROKI Yusuke kuroky(at)users.sourceforge.jp October

Some notes on Japanese T EXt Processing KUROKI Yusuke kuroky(at)users.sourceforge.jp October 24, 2013 Overview IME: input method editor Input System Output text Some notes IME: input method editor There are several ways to input

418 views • 6 slides
Area of slides Location of Steamboat Hills KGRA, Nevada Generalized geologic map of the Steamboat

Area of slides Location of Steamboat Hills KGRA, Nevada Generalized geologic map of the Steamboat

Area of slides Location of Steamboat Hills KGRA, Nevada Generalized geologic map of the Steamboat Hills area Magnetic data acquired by INPUT system Nested INPUT profiles - Channel 6 - depth penetration &lt;150m; Ch6 is deepest-looking channel

468 views • 11 slides
Programs that Respond to Input C++ Review, Programming Process C++ programs begin execution in

Programs that Respond to Input C++ Review, Programming Process C++ programs begin execution in

Programs that Respond to Input C++ Review, Programming Process C++ programs begin execution in main Programs in chapters one and two generate the same output each time they are executed. Statements are executed (can you identify a

352 views • 4 slides
%.&quot;(/.''%' )*-.') &quot;/0&quot;!/.''%'1)

%.&quot;(/.''%' )*-.') &quot;/0&quot;!/.''%'1)

+!,$-&quot;&quot;%%%./ %.&quot;(/.''%' )*-.') &quot;/0&quot;!/.''%'1) * !. !%.%*

438 views • 7 slides
Congruence Closure with Free Variables Haniel Pascal Andrew Barbosa 1 Fontaine 1 Reynolds 2 1

Congruence Closure with Free Variables Haniel Pascal Andrew Barbosa 1 Fontaine 1 Reynolds 2 1

Congruence Closure with Free Variables Haniel Pascal Andrew Barbosa 1 Fontaine 1 Reynolds 2 1 University of Lorraine, CNRS, Inria, LORIA, Nancy, France 2 University of Iowa, Iowa City, U.S.A. SMT 2017 20170722, Heidelberg, Germany

1.18k views • 66 slides
I nference in First-Order Logic I f i Fi t O d L i 1 Outline Reducing first-order

I nference in First-Order Logic I f i Fi t O d L i 1 Outline Reducing first-order

I nference in First-Order Logic I f i Fi t O d L i 1 Outline Reducing first-order inference to propositional inference Unification Generalized Modus Ponens Generalized Modus Ponens Forward chaining

655 views • 39 slides
With monomorphism, new types are costly Closed world Only language designer can add a new type

With monomorphism, new types are costly Closed world Only language designer can add a new type

With monomorphism, new types are costly Closed world Only language designer can add a new type constructor A new type constructor (array) requires New expression and type syntax New internal representation (type formation)

861 views • 28 slides

More recommend