Skip to main content
user3280193's user avatar
user3280193's user avatar
user3280193's user avatar
user3280193
  • Member for 8 years, 2 months
  • Last seen more than 4 years ago
6 votes
1 answer
1k views

NP-complete reduction proof -- graph problem

5 votes
1 answer
670 views

Counting Total Number of Non-Equivalent Configurations in a 2-D Grid

4 votes
0 answers
146 views

Showing a linear program is infeasible or finding a feasible solution

4 votes
0 answers
289 views

Intuitive self-contained proof of Farkas' Lemma

4 votes
2 answers
652 views

NSPACE for checking if two graphs are isomorphic

3 votes
1 answer
2k views

Euler graph k-coloring (np-completeness proof)

2 votes
1 answer
1k views

CNF-SAT reduction problem variant

2 votes
2 answers
9k views

Finite State Machine that only accepts strings with equal number of 0's and 1's

2 votes
1 answer
156 views

Examples of languages not decidable by a TM using certain upper bounds on space/time

2 votes
0 answers
47 views

Card Shuffling, Bounding Mixing time using Paths and Flows

1 vote
1 answer
701 views

How to read 'max min' and 'min max'?

1 vote
1 answer
8k views

Proof by Reduction: From Empty Language to Halting Problem on Empty Input

1 vote
2 answers
701 views

Big-O and little-o notation

1 vote
0 answers
85 views

Game with Random Digits (Markov Chain / Coupling)

0 votes
0 answers
1k views

Max Flow / Linear Programming Reduction Variant

0 votes
2 answers
2k views

Showing that 3-colorable is NP-complete

0 votes
1 answer
3k views

A version of the longest simple cycle problem - NP-completeness reduction proof

0 votes
1 answer
515 views

NP-completeness proof via reduction

0 votes
2 answers
1k views

Countability of a binary tree