NP-complete

Results: 1728



#Item
161Logic in computer science / Boolean algebra / Electronic design automation / Formal methods / NP-complete problems / Boolean satisfiability problem / True quantified Boolean formula / Maximum satisfiability problem / Model checking / Conjunctive normal form / Satisfiability / Tseytin transformation

Abstraction-Based Algorithm for 2QBF Mikol´asˇ Janota2 and Joao Marques-Silva1,2 1 University College Dublin, Ireland 2

Add to Reading List

Source URL: www.mancoosi.org

Language: English - Date: 2012-12-16 04:54:55
162NP-complete problems / Edsger W. Dijkstra / Spanning tree / Matroid theory / Operations research / Online algorithm / Steiner tree problem / Matroid / Shortest path problem / Algorithm / Travelling salesman problem / Greedy algorithm

CS264: Beyond Worst-Case Analysis Lecture #19: Online Algorithms and Random Permutations∗ Tim Roughgarden† December 1, 2014

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2015-01-04 19:18:44
163Graph theory / NP-complete problems / Eulerian path / Route inspection problem / Cycle / Degree / Leonhard Euler / Matching / Seven Bridges of Knigsberg / 2-factor theorem

43 Documenta Math. ¨ nigsberg, Euler, Mei-Ko Kwan, Ko

Add to Reading List

Source URL: www.math.uiuc.edu

Language: English - Date: 2012-07-25 10:24:40
164Combinatorial optimization / Operations research / NP-complete problems / Approximation algorithms / Computational problems / Linear programming / Minimum k-cut / Optimization problem / Ear decomposition / Decomposition method

Metric Clustering via Consistent Labeling

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2010-09-28 14:30:42
165Complexity classes / P versus NP problem / NP / IP / P-complete

MCS 441 – Theory of Computation I Spring 2016 Problem Set 5∗ Lev Reyzin Due: at the beginning of class

Add to Reading List

Source URL: homepages.math.uic.edu

Language: English - Date: 2016-04-18 15:41:22
166Crosswords / NP-complete problems / Cryptic crossword / Cluedo / Logic puzzles / Recreational mathematics

PDF Document

Add to Reading List

Source URL: www.math.uchicago.edu

Language: English - Date: 2013-07-05 20:53:24
167NP-complete problems / Crossword / Puzzles / Cryptic crossword / Cluedo

Newport Renews 1 by Ucaoimhu

Add to Reading List

Source URL: www.math.uchicago.edu

Language: English - Date: 2011-07-01 05:57:29
168Graph coloring / NP-complete problems / Recreational mathematics / Sudoku / Logic puzzles / Mathematics of Sudoku / Latin square / Chromatic polynomial / Sudoku Codes / Sudoku solving algorithms

Sudoku Squares and Chromatic Polynomials Agnes M. Herzberg and M. Ram Murty T

Add to Reading List

Source URL: www.mast.queensu.ca

Language: English - Date: 2007-07-03 14:08:13
169Combinatorial optimization / NP-complete problems / Graph partition / PageRank / Graph / Cut / Matching / Minimum cut / Graph theory / Line graph

Microsoft Word - WebArchiving_v6.doc

Add to Reading List

Source URL: wiki.umiacs.umd.edu

Language: English - Date: 2008-09-10 16:29:18
170NP-complete problems / Clique problem / Vertex cover / Clique / Independent set / Bipartite graph / Travelling salesman problem / Graph coloring / Line graph / Treewidth / Pathwidth

Journal of Complex Networks, 177–186 doi:comnet/cnv020 Advance Access publication on 21 July 2015 Network installation under convex costs Alexander Gutfraind†

Add to Reading List

Source URL: www.levreyzin.com

Language: English - Date: 2016-07-01 10:19:11
UPDATE