Informatique théorique

2

Dans le journal Quantum Random Walks Hit Exponially Faster ( arXiv: quant-ph / 0205083 ) Kempe donne une notion de temps de frappe pour les marches quantiques (dans l'hypercube) qui n'est pas très populaire dans la littérature sur la marche quantique. Il est défini comme suit: One-Shot Quantum Frapper Temps: …

13 quantum-computing random-walks markov-chains quantum-walk

1

Référence à la borne inférieure du séparateur dans une grille?

Il est facile de vérifier que, étant donné la grille dimensionnelle d des points entiers , avec la contiguïté régulière, on peut trouver un séparateur de taille n d - 1 (il suffit de choisir n'importe quel hyperplan central et de supprimer tout ses sommets). Il n'est pas non plus …

13 reference-request cg.comp-geom lower-bounds

1

Limites inférieures de compromis espace-temps

Suite à la discussion sur les bornes inférieures pour 3SAT [ 1 ], je me demande quels sont les principaux résultats de borne inférieure formulés comme des compromis espace-temps. J'exclus des résultats tels que, disons, le théorème de Savitch; une bonne entrée se concentrerait sur un seul problème et ses …

13 cc.complexity-theory ds.algorithms big-list space-time-tradeoff

2

Partition sans H

Ceci est une question inspirée par le problème de la coupe H sans . Étant donné un graphe, une partition de son ensemble de sommets en r parties V 1 , V 2 , … , V r est sans H si G [ V i ] n'induit pas une …

13 graph-theory np-hardness co.combinatorics

1

Circuits avec oracles vs Machines de Turing avec oracles

En termes simples: quelle est la correspondance entre les machines de Turing avec oracles et les familles de circuits uniformes avec oracles? Comment ces derniers sont-ils définis afin d'obtenir le même modèle de calcul, pour une machine Oracle Turing donnée? Cela peut être une question élémentaire, mais il n'est pas …

13 cc.complexity-theory turing-machines oracles circuit-families

2

Hiérarchie alternative de l'espace

Il est connu grâce à Immerman et Szelepcsényi que si f = Ω ( log ) (même pour les fonctions constructibles non spatiales).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) Dans le même article, Immerman déclare que la hiérarchie alternative de l'espace journal s'effondre, cela signifie que (la définition de la machine de turing alternée …

13 cc.complexity-theory reference-request space-bounded alternating-hierarchy

12

Quelles sont les applications réelles des algorithmes génétiques?

Quels sont les problèmes du monde réel qui ont été résolus en utilisant un algorithme génétique? Quel est le problème? Quel est le test de condition physique utilisé pour résoudre ce problème?

13 ds.algorithms machine-learning ai.artificial-intel application-of-theory ne.neural-evol

1

Recherche de trous impairs dans les graphiques Paley circulants

Les graphes de Paley P q sont ceux dont l'ensemble des sommets est donné par le champ fini GF (q), pour les puissances premières q≡1 (mod 4), et où deux sommets sont adjacents si et seulement s'ils diffèrent de 2 pour certains a ∈ GF (q). Dans le cas où …

13 ds.algorithms graph-theory

2

Qu'est-ce qu'un bon algorithme de tri dans des cas spéciaux?

J'ai un jeu de données qui est un certain nombre d'objets disposés dans une grille 2D. Je sais que j'ai un ordre strict, augmentant à mesure que vous avancez de gauche à droite dans chaque ligne, et augmentant de haut en bas dans chaque colonne. Par exemple, 1 2 3 …

13 ds.algorithms total-ordering sorting

3

Sécurité de la mémoire basée sur le type sans gestion manuelle de la mémoire ni récupération de place lors de l'exécution?

Supposons que nous voulions un langage de programmation pur et fonctionnel, comme Haskell ou Idris, qui vise la programmation de systèmes sans collecte de déchets et n'a pas d'exécution (ou du moins pas plus que les «exécutions» C et Rust). Quelque chose qui peut plus ou moins fonctionner sur du …

13 pl.programming-languages language-design

2

Quelles sont exactement les classes FP, FNP et TFNP?

Dans son livre Computational Complexity , Papadimitriou définit le FNP comme suit: Supposons que est un langage dans NP . Par la proposition 9.1, il y a un décidable polynomial, relation polynomiale équilibré R L tel que pour toutes les chaînes x : Il y a une chaîne y avec …

13 complexity

2

PPAD capture-t-il vraiment la notion de trouver un autre sommet déséquilibré?

La complexité classe PPAD a été inventé par Christos Papadimitriou dans son 1994 fondateur du papier . La classe est conçue pour capturer la complexité des problèmes de recherche où l'existence d'une solution est garantie par "Argument de parité dans les graphes dirigés": s'il y a un sommet déséquilibré dans …

13 cc.complexity-theory reductions search-problem ppad

4

Pouvons-nous générer rapidement un module 3 parfaitement uniforme ou résoudre un problème NP?

Pour être honnête, je ne sais pas grand-chose sur la façon dont les nombres aléatoires sont générés (les commentaires sont les bienvenus!) Mais supposons le modèle théorique suivant: Nous pouvons obtenir des entiers uniformément aléatoires à partir de [1,2n][1,2n][1,2^n] et notre objectif est de produire un entier uniformément aléatoire de …

13 cc.complexity-theory np-hardness randomized-algorithms

2

Comment Lambda Calculus est-il un type spécifique de système de rédaction de termes?

Maintenant , nous pouvons voir que l' église a été associée à la simplement dactylographié Calcul Lambda . En effet, il semble qu'il ait expliqué le calcul lambda simplement tapé afin de réduire les malentendus concernant le calcul lambda. Maintenant, quand John McCarthy a créé Lisp - il l'a basé …

13 lambda-calculus term-rewriting-systems lisp

1

Introduction en douceur aux aspects algorithmiques de la profondeur des arbres

La largeur d'arbre et la largeur de chemin sont des paramètres populaires, mesurant la proximité d'un graphique avec un arbre ou un chemin, respectivement. En effet, il semble que la largeur d'arbre soit si populaire qu'elle figure dans de nombreux articles, livres et notes de cours qui donnent (même très …

13 reference-request graph-algorithms parameterized-complexity