Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
Loading…
  1. 0
  2. +0
    • Tour Start here for a quick overview of the site
    • Help Center Detailed answers to any questions you might have
    • Meta Discuss the workings and policies of this site
    • About Us Learn more about Stack Overflow the company
    • Business Learn more about hiring developers or posting ads with us
  3. Log in Sign up
  4. current community

    • Computer Science
      help chat
    • Computer Science Meta

    your communities

    Sign up or log in to customize your list.

    more stack exchange communities

    company blog

By using our site, you acknowledge that you have read and understand our Cookie Policy, Privacy Policy, and our Terms of Service.

Computer Science
  1. Home
    1. Questions
    2. Tags
    3. Users
    4. Unanswered
Profile Activity
Covvar
Meta user
Network profile

Reputation

465
  • 475
  • 470
  • 465
  • Mar
  • Jun
  • Sep
  • Dec

Top tag

complexity-theory

Next privilege

500 Rep.
Access review queues

Badges

2
7

Newest

 Yearling

Next badge

0/1
Critic

Impact

~4k
people reached
0 posts edited
0 helpful flags
53 votes cast
Summary Answers Questions Tags Badges Favorites Bounties Reputation All actions

17 Questions

Views Newest Activity Votes
1
5
votes
1
answer
477
views

Why is CVAL a P-Complete problem?

complexity-theory reductions space-complexity
Jul 11 '17 at 10:41 Covvar 465
 
4
votes
1
answer
256
views

$UCYCLE$ is in $L$

algorithms complexity-theory space-complexity
Sep 12 '17 at 14:18 Yuval Filmus 214k
 
3
votes
1
answer
118
views

Prove that $NP^{NP\cap co-NP} = NP$

time-complexity complexity-classes
May 28 '17 at 13:45 Yuval Filmus 214k
 
2
votes
1
answer
30
views

Why $\operatorname{gap-A}[1.5a, 1.5b + 1/4]$ has an efficient solution?

complexity-theory approximation
Sep 18 '17 at 11:06 Yuval Filmus 214k
1
2
votes
3
answers
431
views

Why do we need Gibbs sampling (and MCMC)?

algorithms randomness sampling markov-chains
Aug 12 '17 at 22:22 eyeApps LLC 146
1
2
votes
1
answer
66
views

What problems are believed to have an efficient algorithm?

algorithms efficiency research
Jul 22 '17 at 12:54 Lieuwe Vinkhuijzen 3,852
 
2
votes
1
answer
269
views

proving $IP^\star = NP$

complexity-theory probabilistic-algorithms interactive-proof-systems
Jul 13 '17 at 15:56 Yuval Filmus 214k
1
2
votes
1
answer
649
views

Prove that $BPP^{BPP} = BPP$

complexity-theory
Jun 2 '17 at 1:56 tc1729 136
1
2
votes
1
answer
222
views

detecting a cycle in an undirected graph problem is in $RL$ complexity class

complexity-theory graphs randomized-algorithms
May 27 '17 at 15:23 Yuval Filmus 214k
 
1
vote
1
answer
37
views

$C_1 \subseteq C_2$ implies $C_1^A\subseteq C_2^A$?

complexity-theory
Sep 18 '17 at 13:52 Yuval Filmus 214k
 
1
vote
1
answer
611
views

reducing $CLIQUE$ from decision to search problem

algorithms time-complexity polynomial-time clique
Sep 16 '17 at 14:17 Yuval Filmus 214k
 
1
vote
1
answer
39
views

Why is the language $NP-hard$?

complexity-theory reductions np-hard
Sep 10 '17 at 13:23 Yuval Filmus 214k
1
1
vote
1
answer
67
views

Showing a problem is $P$-complete

complexity-theory reductions
Jul 19 '17 at 19:54 Ariel 11k
 
1
vote
1
answer
50
views

if $L\in BPP$ then $NP\subseteq BPP$

complexity-theory
Jul 19 '17 at 12:24 Yuval Filmus 214k
 
1
vote
1
answer
167
views

$P\ne BPP$ implies $P\ne NP$

complexity-theory
Jul 18 '17 at 13:06 Ariel 11k
 
1
vote
1
answer
42
views

Randomized algorithm for 2kCNF satisfiability problem

algorithms satisfiability randomized-algorithms random-walks
Jun 5 '17 at 11:35 Yuval Filmus 214k
 
0
votes
1
answer
102
views

If we can simulate $NP$-machines why isn't it trivial that $NP=coNP$?

complexity-theory
Jul 13 '17 at 10:26 Ariel 11k
Computer Science
  • Tour
  • Help
  • Chat
  • Contact
  • Feedback
  • Mobile
Company
  • Stack Overflow
  • Stack Overflow Business
  • Developer Jobs
  • About
  • Press
  • Legal
  • Privacy Policy
Stack Exchange
Network
  • Technology
  • Life / Arts
  • Culture / Recreation
  • Science
  • Other
  • Stack Overflow
  • Server Fault
  • Super User
  • Web Applications
  • Ask Ubuntu
  • Webmasters
  • Game Development
  • TeX - LaTeX
  • Software Engineering
  • Unix & Linux
  • Ask Different (Apple)
  • WordPress Development
  • Geographic Information Systems
  • Electrical Engineering
  • Android Enthusiasts
  • Information Security
  • Database Administrators
  • Drupal Answers
  • SharePoint
  • User Experience
  • Mathematica
  • Salesforce
  • ExpressionEngine® Answers
  • Stack Overflow em Português
  • Blender
  • Network Engineering
  • Cryptography
  • Code Review
  • Magento
  • Software Recommendations
  • Signal Processing
  • Emacs
  • Raspberry Pi
  • Stack Overflow на русском
  • Code Golf
  • Stack Overflow en español
  • Ethereum
  • Data Science
  • Arduino
  • Bitcoin
  • Software Quality Assurance & Testing
  • Sound Design
  • Windows Phone
  • more (27)
  • Photography
  • Science Fiction & Fantasy
  • Graphic Design
  • Movies & TV
  • Music: Practice & Theory
  • Worldbuilding
  • Video Production
  • Seasoned Advice (cooking)
  • Home Improvement
  • Personal Finance & Money
  • Academia
  • Law
  • Physical Fitness
  • Gardening & Landscaping
  • Parenting
  • more (11)
  • English Language & Usage
  • Skeptics
  • Mi Yodeya (Judaism)
  • Travel
  • Christianity
  • English Language Learners
  • Japanese Language
  • Chinese Language
  • French Language
  • German Language
  • Biblical Hermeneutics
  • History
  • Spanish Language
  • Islam
  • Русский язык
  • Russian Language
  • Arqade (gaming)
  • Bicycles
  • Role-playing Games
  • Anime & Manga
  • Puzzling
  • Motor Vehicle Maintenance & Repair
  • Board & Card Games
  • Bricks
  • Homebrewing
  • Martial Arts
  • The Great Outdoors
  • Poker
  • Chess
  • Sports
  • more (16)
  • MathOverflow
  • Mathematics
  • Cross Validated (stats)
  • Theoretical Computer Science
  • Physics
  • Chemistry
  • Biology
  • Computer Science
  • Philosophy
  • Linguistics
  • Psychology & Neuroscience
  • Computational Science
  • more (8)
  • Meta Stack Exchange
  • Stack Apps
  • API
  • Data
  • Blog
  • Facebook
  • Twitter
  • LinkedIn

site design / logo © 2019 Stack Exchange Inc; user contributions licensed under cc by-sa 4.0 with attribution required. rev 2019.12.6.35579