Skip to main content
Theoretical Computer Science
Michael Wehar's user avatar
Michael Wehar's user avatar
Michael Wehar's user avatar
Michael Wehar
  • Member for 11 years, 4 months
  • Last seen more than a month ago
Profile Activity
Stats
5,137
reputation
61k
reached
28
answers
33
questions
Communities
View all
About

  • I am enthusiastic about automata theory.

  • I ran in the 2018 cstheory moderator election and lost by two votes.

  • Here is a short article that I wrote on "What to do if you have a proposed solution to P vs NP?" https://github.com/MichaelWehar/P-vs-NP-Community

Thank you for stopping by and please always feel welcome to contact me! :)

Badges
View all badges
1
gold badge
24
silver badges
54
bronze badges
Top tags
View all tags
78
Score
39
Posts
64
Posts %
54
Score
12
Posts
20
Posts %
34
Score
7
Posts
11
Posts %
22
Score
8
Posts
13
Posts %
19
Score
9
Posts
15
Posts %
13
Score
8
Posts
13
Posts %
Top posts
View all questions and answers
26
Deciding emptiness of intersection of regular languages in subquadratic time
Jan 17, 2015
25
Finding the smallest DFA that separates two words without using brute force search?
Jan 12, 2015
24
Are there any open problems left about DFAs?
May 15, 2014
19
Is there a non-deterministic linear time algorithm for CNF-SAT?
Oct 22, 2015
18
What is the minimum complexity oracle that separates PSPACE from the polynomial hierarchy?
Apr 9, 2017
18
In an $m$ by $n$ Boolean matrix, can you find a square block whose four corners are ones in $O(m \cdot n)$ time?
Sep 18, 2020
15
Given a 4-cycle free graph $G$, can we determine if it has a 3-cycle in quadratic time?
Nov 6, 2015
15
How fast would a nondeterministic algorithm for an EXPTIME-complete problem have to be to imply $P \neq NP$?
Mar 13, 2015
14
Does solving matrix multiplication in quadratic time imply that SETH is false?
Nov 5, 2015
14
Are there languages decidable in linear time by RAM machines that have superlinear time complexity lower bounds for Multitape Turing machines?
Nov 8, 2020
Top Meta posts
0
3
6
2018 Potential Moderator Election Community Interest Check
5
2018 Moderator Election Q&A - Question Collection
4
2018 Moderator Election Q&A - Questionnaire
Top network posts
View all network posts
17
What should someone who works at a tech company that isn't associated with the work list as affiliation?
15
Are there any well known mathematicians who published very little?
11
A String-based Puzzle: Can you get from the string "baa" to "bacaccacacccc"?
9
space complexity of DFA intersection problem
8
I believe I have solved a famous open problem. How do I convince people in the field that I am not a crank?