Informatique théorique

1

Le RNC uniforme est-il contenu dans l'espace du polylogue?

NC-Log-space-uniform est contenu dans un espace polylogue déterministe (parfois écrit PolyL). Le RNC à espace de log uniforme est-il également dans cette classe? La version standard randomisée de PolyL devrait être en PolyL, mais je ne vois pas que RNC (uniforme) est en randomL-PolyL. La difficulté que je vois est …

28 complexity-classes randomized-algorithms

4

Problèmes «dirigés» plus faciles que leur variante «non dirigée».

Je présentais une conférence sur le tri des crêpes et j'ai mentionné que: Le tri par inversions est NP-difficile « signé » le tri par inversions est en P . Ce qui m'a fait réfléchir. Il y a un sens dans lequel le tri "signé" est "dirigé" - vous pouvez …

28 ds.algorithms

5

Variantes efficacement calculables de la complexité de Kolmogorov

La complexité du préfixe de Kolmogorov (c'est-à-dire que est la taille du programme d'auto-délimitation minimal qui génère ) a plusieurs fonctionnalités intéressantes:xK( x )K(x)K(x)Xxx Cela correspond à une intuition de donner aux chaînes avec des motifs ou une structure une complexité inférieure à celle des chaînes sans. Il nous permet …

28 it.information-theory kolmogorov-complexity formal-modeling

4

Complexité de la réduction de la taille des formules polynomiales

Soit un polynôme de degré d dans n variables sur F 2 , où d est constant (disons 2 ou 3). Je voudrais trouver la plus petite formule pour f , où «formule» et «taille de formule» sont définies de manière évidente (par exemple, la plus petite formule pour le …

28 cc.complexity-theory formulas

2

Comment publier un article?

En tant qu'ingénieur logiciel pendant la plus grande partie de ma vie, je n'ai absolument aucune idée de comment commencer par publier un type de papier "académique". Au cours de mes dernières recherches, j'ai trouvé un algorithme intéressant pour la tâche que j'ai résolue (lié à certains calculs sur les …

28 soft-question research-practice paper-review

1

Existe-t-il un système de preuve automatisé raisonnable pour les théorèmes TCS?

Supposons que je veuille formaliser la preuve de Turing concernant le problème d'arrêt pour qu'une machine puisse le vérifier. Certains des systèmes de démonstration de théorèmes automatisés bien connus incluent Mizar, Coq et HOL4. J'ai téléchargé et expérimenté avec Coq, mais il n'a pas de bibliothèque pour les machines Turing. …

28 lo.logic turing-machines software proof-assistants automated-theorem-proving

2

Combien de DFA acceptent deux chaînes données?

Fixe un entier nnn et un alphabet Σ = { 0 , 1 }Σ={0,1}\Sigma=\{0,1\} . Définissez D FA ( n )DFA(n)DFA(n) comme la collection de tous les automates à états finis sur nnn états avec l'état de départ 1. Nous considérons tous les DFA (pas seulement ceux connectés, minimaux ou …

28 cc.complexity-theory fl.formal-languages automata-theory counting-complexity

16

Problèmes algorithmiques complexes simplifiés par les théorèmes

Je cherche de bons exemples, où le phénomène suivant se produit: (1) Un problème algorithmique semble difficile, si vous voulez le résoudre en travaillant à partir des définitions et en utilisant uniquement les résultats standard. (2) En revanche, cela devient facile, si vous connaissez certains théorèmes (pas si standard). Le …

28 cc.complexity-theory ds.algorithms graph-algorithms

1

Types inductifs pour les grandes notations ordinales dénombrables.

Je cherche à construire des notations pour les grands ordinaux dénombrables d'une «manière naturelle». Par "voie naturelle", je veux dire que, étant donné un type de données inductif X, cette égalité devrait être l'égalité récursive habituelle (la même que celle deriving Eqde Haskell produirait) et l'ordre devrait être l'ordre lexicographique …

28 lo.logic type-theory proof-theory

3

Présentation des travaux en cours (diapositives maintenant disponibles)

Présentation maintenant donnée. Diapositives disponibles ci-dessous. Présenter les travaux en cours est quelque chose que nous devons tous faire pour obtenir un retour d'information précoce et aider à cristalliser nos idées. Malheureusement, de nombreux étudiants diplômés ont besoin d'aide pour surmonter cet obstacle de présentation des premières recherches, même si …

28 soft-question advice-request

4

Preuves obtenues uniquement par la théorie des graphes spectraux

Je m'intéresse de plus en plus à la théorie des graphes spectraux, que je trouve fascinante, et j'ai commencé à rassembler quelques documents que je n'ai pas encore lus plus attentivement que ce que j'ai jusqu'à présent. Cependant, je suis curieux d'une déclaration apparue dans plusieurs sources (par exemple là-bas …

28 graph-theory co.combinatorics proofs spectral-graph-theory

8

Quel est le nombre minimum de bits requis pour stocker un puzzle sudoku?

Remarque: il s'agit du puzzle sudoku 9x9 standard. La solution ne doit prendre en charge que des énigmes juridiques résolues . Ainsi, une solution n'a pas besoin de prendre en charge les cellules vides et peut s'appuyer sur les propriétés d'un puzzle sudoku résolu. Je me posais la question, mais …

28 co.combinatorics puzzles

9

Quel est le meilleur endroit pour obtenir des entrées BibTeX pour des articles en informatique?

À part ACM, IEEE computer Society, Google Scholar, qui est le meilleur site pour obtenir des entrées bibtex pour des articles liés à l'informatique?

28 soft-question research-practice paper-review bibliography

6

Pourquoi les naturels au lieu des entiers?

Je m'intéresse aux raisons pour lesquelles les nombres naturels sont si appréciés par les auteurs de livres sur la théorie des langages de programmation et la théorie des types (par exemple J. Mitchell, Foundations for Programming Languages et B. Pierce, Types and Programming Languages). La description du lambda-calcul simplement tapé …

28 pl.programming-languages big-picture type-theory

2

Une catégorie de problèmes NP-complets?

Est-il judicieux de considérer une catégorie de tous les problèmes NP-complets, avec des morphismes comme des réductions de poly-temps entre différentes instances? Quelqu'un a-t-il déjà publié un article à ce sujet, et si oui, où puis-je le trouver?

28 cc.complexity-theory np-hardness ct.category-theory