14 votes
Accepted

Is an NP-hardness proof of an NP-hard problem considered a contribution?

There are venues that are interested by elegant proofs of existing results, see for instance the Symposium on Simplicity in Algorithms. So yes, in some cases an elegant proof can be considered as a ...
Gopi's user avatar
  • 1,655
13 votes
Accepted

Is it a bad idea to critique someone's paper in my first publication?

I think the same standards apply, regardless of whether it's your 1st or 100th publication. If you think you've found a mistake in a published paper, a common courtesy is to first contact the paper's ...
Aryeh's user avatar
  • 10.5k
11 votes

"Berman-Hartmanis Conjecture Separates NP From All Super-Poly. DTIME Classes" -- Worthy of arXiv.org?

I'm glad you are interested in complexity but there are some issues in your paper. Your techniques relativize and there is an oracle relative to which the Berman-Hartmanis conjecture is true and NP = ...
Lance Fortnow's user avatar
10 votes

When should one start looking at existing results in theoretical CS?

Scenario 1: You spend several months tinkering around with colorings, not reading any literature. After many failed attempts you finally discover one that works. Before you can write a paper about it, ...
Andrej Bauer's user avatar
  • 28.9k
9 votes

What is the best place to get BibTeX entries for ICLR and other machine learning papers?

For NeurIPS (previously NIPS), the NeurIPS website itself is a good source: look for a paper, go to its page, and click on the "BibTex" link. Here is a random sample (!): ICML, COLT, and JMLR appear ...
Clement C.'s user avatar
  • 4,461
7 votes
Accepted

What is the best place to get BibTeX entries for ICLR and other machine learning papers?

As an update, I noticed that DBLP has added ICLR to tracking as of today. Now it has ICLR papers and their bibtex available at https://dblp.uni-trier.de/db/conf/iclr/
gungunba's user avatar
7 votes

Are there any intersections between Theory A and Theory B?

One cool example of work that straddles things that are typically considered theory A and things typically considered theory B are the lower bounds on the running time of the simplex algorithm with ...
Sasho Nikolov's user avatar
6 votes
Accepted

Where do people publish/submit their work on type theory?

You can follow the activities of the EUTypes network, and see what meeting are organized. The list of events is growing nicely. As for journals, I can think of Logical Methods in Computer Science and ...
Andrej Bauer's user avatar
  • 28.9k
6 votes

Are there any intersections between Theory A and Theory B?

One example (from my research field) is analysis of dynamical systems: in a (linear) dynamical system, you are given a matrix $A\in {\mathbb Q}^{d\times d}$ and you reason about various properties of $...
Shaull's user avatar
  • 5,571
4 votes

Can theoretical computer science be combined with mechanism and information design and applications in financial markets

This depends on whether the CS department you are studying at has somebody working in this field. Some of them (at least three of the top ten in the U.S.) do, and some of them don't, and some of them ...
Peter Shor 's user avatar
3 votes

Are research papers hard to read?

Another reason why papers are often hard to read is because the authors have usually just figured out the result and don't have much hindsight or time to digest what they did. When you write a paper, ...
a3nm's user avatar
  • 9,269
3 votes

What would you advise someone who wants to do research as a hobby?

As already said, it is very difficult due to time, background, money and discipline. Generally, if you are able to make a contribution to the field, in principle you would get a PhD and could work as ...
Raphael Augusto's user avatar
3 votes

How should I perform research as an Undergraduate

Yes, ask your professor to give you a problem that you may solve as an undergraduate. You can also look for publications that say that the problems are appropriate for undergraduates. I think that a ...
Joshua Herman's user avatar
3 votes
Accepted

How to generate Skolem function in practice

First of all there are two Skolem transformations, one replaces universal quantifiers and preserves validity, the other one replaces existential quantifiers and preserves satisfiability of the formula....
lambda.xy.x's user avatar
2 votes

Research masters programs in theoretical computer science (with a focus on complexity theory)

You may find this link useful https://www.cs.princeton.edu/~smattw/masters/masters.html (I would have commented, but my reputation is too low)
Matan Shtepel's user avatar
2 votes

Are there any intersections between Theory A and Theory B?

As far as I understand it, linear logic and "implicit complexity theory" use tools that are often found in Theory B (type theory, theory of programming languages, etc.) to capture and study complexity ...
Joshua Grochow's user avatar
2 votes

Is there research on algorithmic design patterns?

There are many general techniques and meta-theorems. Unlike software engineering, in TCS we don't want to repeat things similar to what the others did, we want to create something new or solve an ...
Saeed's user avatar
  • 3,440
2 votes

When should one start looking at existing results in theoretical CS?

My advice would be to follow the preference of your advisor and start reading the literature. Your advisor knows you and he selected the problem for you. That he lets the decision to you but expresses ...
Hermann Gruber's user avatar
2 votes

Areas of research and open problems in functional programming

The computational implications of homotopy type theory & higher type theory. Homotopy type theory was invented and developed by a group of computer scientists and mathematicians as a new ...
xrq's user avatar
  • 1,175
2 votes

Are patents good sources for academic research?

Are patents good sources for academic research? In general, a clear NO. Typically, patents are intentionally written in a diffuse language to cover as much ground as possible (without incuring the ...
MdAyq's user avatar
  • 91
1 vote

Are patents good sources for academic research?

Before answering the question: "I was wondering if patents are good sources for writing an academic paper or if I should steer clear from them?", I'd clearly determine the goal I'd want to achieve and ...
user1098973's user avatar
1 vote

What do you do when you cannot make progress on the problem you have been working on?

Here's a question to ponder: why turn to a public forum composed of people who know nothing about the specifics of your situation when you're supposed to have an academic adviser precisely to handle ...
Aryeh's user avatar
  • 10.5k
1 vote

What tools do you use to give presentations?

For drawing it is also convenient to use Inkscape instead of tikz: it can embed latex code with the plugin Textext, and you can directly draw what you want instead of starting worrying about ...
1 vote

What tools do you use to give presentations?

I use beamer + pdfpcnotes.sty to present with pdfpc which has the following features (according to their website): Shows current and next slide Support for notes, both as text and on slides (as ...

Only top scored, non community-wiki answers of a minimum length are eligible