Exercises
Multiple Choice
Articles
Open Problems
Login
3 items
Topic:
Logic
x
Start over
- to expand, or dig in by adding more tags and revising the query.
Sort By:
trending ▼
date
0
Undergraduate
By
John Doe
on Nov. 3, 2012 | Updated Dec. 6, 2017
Direct reduction from Graph Homomorphism to SAT
The decision problem \(GraphHomo\) is defined as follows: \(GraphHomo = \{\langle G, H\rangle \mid \text{there is a graph homomorphism from G to H}\}\) Give a direct reduction from \(GraphHomo\) to …
Computer Science
Mathematics
Complexity Theory
Graph Theory
Logic
np
reduction
sat
0
Graduate
By
Shiva Kintali
on June 10, 2012 | Updated Dec. 6, 2017
Parity is non-monotone
A boolean function \(f(x_{1},x_{2},\dots,x_{n})\) is called monotone if it can be written as a formula with only the AND and OR operations. Prove that \(x_1 \oplus x_2 \oplus \dots \oplus x_n\) is n…
Mathematics
Logic
monotone function
0
Graduate
By
diego
on June 22, 2012 | Updated Dec. 6, 2017
The power of the majority function
A boolean function \(f(x_{1},x_{2},\dots,x_{n})\) is called monotone if it can be written as a formula with only the AND and OR operations and constants 0 and 1; and it is called self-dual if …
Mathematics
Logic
monotone function
self dual function
icon
Sign In or Sign Up
icon
Invite Friends
Post Something
x
Select What You'd Like To Post
POST AN ARTICLE
POST AN OPEN PROBLEM
POST AN EXERCISE
POST A MULTIPLE-CHOICE QUESTION
Content Types
Articles
Open Problems
Exercises
Multiple-Choice Questions
Levels
High school
Undergraduate
Graduate
Subjects
Mathematics
Computer Science
Puzzles
Optimization
Trending tags
counting
trees
complete graph
crossing number
planar graphs
extremal graph theory
graph cut
spanning tree
fibonacci
induction
Topics
Algebra
Algorithms
Approximation Algorithms
Calculus
Combinatorial Optimization
Combinatorics
Complexity Theory
Data Structures
Discrete Mathematics
Game Theory
Geometry
Graph Theory
Linear Algebra
Linear Programming
Logic
Mathematical Analysis
Mathematics
Matrix Theory
Number Theory
Optimization
Probability
Programming
Puzzles
Randomized Algorithms
Real Analysis
Trigonometry
×