Informatique théorique big-list

2

Quelles sont les conjectures TCS qui ont été prouvées pour les nombres premiers et les petites valeurs mais qui se sont ensuite révélées fausses?

Existe-t-il des conjectures en informatique théorique qui impliquent certains paramètres n et qui ont été prouvées pour de petites valeurs de n ET pour des nombres premiers mais qui se sont révélées fausses par la suite? Dans la théorie des nombres, de tels problèmes existent, par exemple. comme le souligne …

17 big-list primes

7

Pointeurs pour les applications CS de la logique

Je suis un étudiant diplômé en mathématiques avec une solide expérience en logique. J'ai suivi un cours d'un an sur la logique avec des cours de troisième cycle sur la théorie des modèles finis et un autre sur le forçage et la théorie des ensembles. La plupart des textes CS …

17 lo.logic soft-question big-list books formal-methods

3

Exemples de dérandomisation réussie de BPP à P

Quels sont quelques exemples majeurs de dérandomisation réussie ou du moins de progrès dans la démonstration de preuves concrètes vers l' objectif (pas la connexion de dureté aléatoire)?P= BPPP=BPPP=BPP Le seul exemple qui me vient à l'esprit est le test de primalité polynomiale déterministe AKS (même pour cela, il y …

15 cc.complexity-theory big-list randomized-algorithms derandomization pseudorandom-generators

5

Exemples de pédanterie dans TCS

Larry Wasserman a récemment publié un article dans lequel il parle de la "police p-value". Il fait un point intéressant (tout l'accent est mis sur moi) (la prémisse en italique que j'ai ajoutée et sa réponse ci-dessous): La plainte la plus courante est que les physiciens et les journalistes expliquent …

15 ds.algorithms soft-question big-list

2

Exemples notables de l'idée de racine carrée dans l'analyse de complexité

Il existe un certain nombre d'algorithmes et de structures de données qui exploitent l'idée que obtient sa valeur minimale à k = \ sqrt n . Les exemples courants incluent k = √max { k , n / k }max{k,n/k}\max \left\{k, n/k\right\}k = n--√k=nk=\sqrt n algorithme pas à pas géant …

15 ds.algorithms ds.data-structures big-list teaching

6

variations de SAT

J'ai recherché sur Internet, mais je n'ai trouvé aucune «grande liste» de variantes du problème SAT. Mis à part le (commun) SAM, k-SAT, MAX-kSAT, Half-SAT, XOR-SAT, NAE-SAT Quelles sont les autres variantes? (cela sera également très utile si des classes de complexité sont données (si possible))

14 cc.complexity-theory sat big-list

5

Papiers que tout théoricien de la complexité devrait lire

Je commence mon doctorat cet automne et je prévois de travailler en théorie de la complexité pour ma thèse. Je compile une liste d'articles importants que tout théoricien de la complexité devrait connaître. Quels papiers suggéreriez-vous à une personne comme moi? Et veuillez expliquer brièvement pourquoi vous pensez que le …

14 cc.complexity-theory reference-request big-list

3

Limites inférieures pour les structures de données

Connaît-on des résultats qui excluent l'existence de structures de données «trop belles pour être vraies»? Par exemple: peut-on ajouter des fonctionnalités et J o i n à une structure de données de maintenance de commande (voir Dietz et Sleator STOC '87 ) tout en obtenant des opérations de temps O …

14 ds.data-structures big-list lower-bounds time-complexity

2

Conjectures en suspens et problèmes ouverts dans la théorie des jeux (algorithmique)?

Quels types de conjectures et de grands problèmes ouverts sont les plus importants dans la théorie des jeux algorithmiques (ou la théorie des jeux en général en ce qui concerne CS)? Par exemple, la résolution de NASH comme PPAD-complete aurait, je pense, été la plus importante jusqu'à ce qu'elle soit …

14 big-list gt.game-theory

1

Quels sont les articles classiques du domaine théorique récursif de la théorie de la complexité?

Deux documents que j'inclus sont: D. Kozen, "Indexation des classes subrécursives" , STOC, 1978. R. Ladner, «Sur la structure de la réductibilité du temps polynomial» , JACM, 1975.

14 cc.complexity-theory lo.logic computability big-list structural-complexity

9

Résultats contre-intuitifs pour les étudiants de premier cycle

Je recherche des exemples de résultats qui vont à l'encontre de l'intuition des gens pour une conférence grand public. Des résultats qui, s'ils étaient demandés à des non-experts "qu'est-ce que votre intuition vous dit?", Presque tous auraient tort. L'énoncé des résultats devrait être facilement explicable aux étudiants de premier cycle …

14 big-list teaching intuition

4

Résultats intéressants dans TCS facilement explicables aux programmeurs sans formation technique

Supposons que vous rencontriez des programmeurs qui ont suivi des cours de programmation professionnelle (/ auto-réflexion) mais n'ont pas étudié les mathématiques de niveau universitaire. Afin de leur montrer la beauté de TCS, j'aimerais rassembler de bons résultats / questions ouvertes provenant de TCS qui peuvent facilement être expliquées. Un …

13 soft-question big-list big-picture teaching

2

Livres d'algorithmes en ligne

Existe-t-il des livres récents sur les algorithmes en ligne? Je ne connais que deux livres sur le sujet. Calcul en ligne et analyse concurrentielle par Allan Borodin et Ran El-Yaniv: Il s'agit d'un livre classique mais ancien, et ne contient pas de nombreuses avancées récentes dans le domaine. The Design …

13 reference-request big-list online-algorithms

4

Documentaires d'Alan Turing

Pour célébrer le 100e anniversaire d'Alan Turing, je veux regarder un documentaire sur sa vie. Cependant, il existe plusieurs documentaires parmi lesquels choisir. Quel documentaire sur Alan Turing est votre préféré? Veuillez inclure un seul documentaire par réponse.

13 reference-request soft-question big-list ho.history-overview

2

Quels sont les problèmes ouverts actuels dans la théorie du compilateur?

La théorie du compilateur semble être un sujet assez vérifié. Quels sont les problèmes ouverts ou les recherches en cours dans le domaine?

13 soft-question big-list open-problem compilers

Questions marquées «big-list»