Sait-on quelque chose sur la deuxième plus petite coupe - t dans un réseau de flux? Ou, plus généralement, à propos de ce problème:sssttt Entrée: Un réseau et un nombre k , tous en binaire. Sortie: A k e plus petit s - t coupé.NNNkkkkkksssttt Une ème plus petite coupe s - t ( S , T ) est toute...
Je suis intéressé à comprendre la structure de la classe des graphes telle sorte qu'il n'y ait pas de sous-graphe induit par un sommet sur quatre sommets qui soit une correspondance parfaite. Autrement dit pour quatre sommets a , b , c , d dans G si a b et c d sont des arêtes, le graphique doit...
P / poly est la classe de problèmes de décision pouvant être résolus par une famille de circuits booléens de taille polynomiale. Il peut également être défini comme une machine de Turing à temps polynomial qui reçoit une chaîne de conseils de taille polynomiale en n et basée uniquement sur la...
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...
Considérons le problème où on nous donne en entrée un graphe acyclique dirigé , une fonction d'étiquetage λ de V vers un ensemble L avec un ordre total < L (par exemple, les entiers), et où on nous demande de calculer le plus petit tri topologique lexicographiquement de G en termes de λ . Plus...
Lorsque nous voulons prouver qu'un est N P- complet, alors l'approche standard est de montrer à L une réduction de plusieurs un calculable en temps polynomial d'un problème N P- complet connu . Dans ce contexte, nous n'avons pas besoin d'une limite stricte sur la durée de la réduction. Il suffit...
Selon cet article , qui discute d'une extension non déterministe de l' hypothèse de temps exponentiel fort (SETH), "[…] Williams a récemment montré que les hypothèses liées à la complexité de Merlin-Arthur de k-TAUT sont fausses". Cependant, ce document ne cite qu'une communication personnelle....
Il est bien connu que la propriété Church-Rosser est valable pour réduction de β η dans le calcul lambda simplement typé. Cela implique que le calcul est cohérent, en ce sens que toutes les équations impliquant des termes λ ne sont pas dérivables: par exemple, K ≠ I , car elles ne partagent pas la...
Est-il difficile de trouver la solution la plus simple à un système d'équations linéaires? Plus formellement, considérons le problème de décision suivant: Instance: Un système d'équations linéaires avec des coefficients entiers et un nombre ccc . Question: Existe-t-il une solution au système avec...
Est-il vrai que l'ajout d'axiomes au CIC pourrait avoir des influences négatives sur le contenu informatique des définitions et des théorèmes? Je comprends que, dans le comportement normal, un terme fermé réduit à sa forme normale canonique de la théorie, par exemple , si est vrai, alors n doit...
f:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f\colon\{-1,1\}^n \to \{-1,1\}iiiInfi[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)]Infi[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)] \operatorname{Inf}_i[f] \stackrel{\rm def}{=} \Pr_{x\sim\{-1,1\}^n}[ f(x) \neq f(x^{\oplus i})] x⊕ix⊕ix^{\oplus...
La logique linéaire est interprétée en utilisant des espaces cohérents , et ils figurent en bonne place dans les articles de Girard. Je connais les trois principales façons de les définir formellement, et ils ne posent pas vraiment de problème pour utiliser et prouver des choses, mais je ne...
Je cherche: Michael O. Rabin, "Degré de difficulté de calcul d'une fonction et ordre partiel d'ensembles récursifs", Université hébraïque, Jérusalem, 1960 Sommaire: «Nous essayons de mesurer la quantité de travail inhérente à la tâche de calculer une fonction calculable (récursive) donnée. Une...
Lance Fortnow a récemment affirmé que prouver L! = NP devrait être plus facile que prouver P! = NP : NP séparé de l'espace logarithmique. J'ai donné quatre approches dans une enquête pré-blog 2001 sur la diagonalisation (section 3), mais aucune n'a échoué. Cela devrait être beaucoup plus facile que...
Pour quels graphiques non orientés tous les arbres de recherche en profondeur d'abord (pour tous les sommets de départ possibles et pour tous les choix des voisins à rechercher en premier) sont-ils des chemins dirigés? C'est-à-dire que chaque arbre DFS ne doit avoir qu'une seule feuille et que...
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é...
Il est connu que si N P ⊆ P / P o l y alors la hiérarchie polynomiale se réduit à Σ P 2 et M A = A M .NP⊆P/PolyNP\subseteq P/PolyΣP2\Sigma_2^{P}MA=AMMA = AM Quels sont les effondrements les plus forts qui se produisent si N E X P ⊆ P / P o l y ?NEXP⊆P/PolyNEXP\subseteq...
Quel est l'algorithme déterministe le plus rapide connu qui peut reconnaître des graphes dirigés avec une paire de cycles disjoints de vertex? Je sais que les graphiques avec un minimum de trois degrés ont toujours une telle paire ( Thomassen'83 ), mais même ainsi, je ne trouve pas d'algorithme...
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...
Adleman a montré en 1978 que BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly} : si une fonction booléenne fff de nnn variables peut être calculée par un circuit booléen probabiliste de taille MMM , alors fff peut également être calculé par un circuit booléen déterministe de taille polynôme...