Le théorème de prétention parallèle de Raz est un résultat important dans le PCP, l'inapproximation, etc. Le théorème est fomalisé comme suit. Un jeu , où S , T , A , B sont des ensembles finis, π est une distribution sur S × T et un prédicat V : S × T × A × B → { 0 , 1 } . Définir la valeur du jeu...
La définition des nombres de Ramsey est la suivante: Soit un nombre positif tel que tout graphe d'ordre au moins contienne soit une clique sur sommet soit un ensemble stable sur sommets.R(a,b)R(a,b)R(a,b)R(a,b)R(a,b)R(a,b)aaabbb Je travaille sur une extension de Ramsey Numbers. Bien que l'étude...
Je recherche des conseils et des retours. Contexte: Je suis un étudiant de premier cycle en mathématiques, avec un intérêt pour l'informatique théorique (complexité informatique, théorie des graphes, combinatoire). Je veux poursuivre un doctorat en informatique et me concentrer sur la théorie. Mes...
Je m'intéresse à la complexité du problème des ensembles dominants (DSP) dans certaines classes de graphes spécifiques qui sont des sous-classes de graphes d' accord . Un graphe est un graphe de chemin non orienté s'il s'agit du graphe d'intersection de sommets d'une famille de chemins dans un...
Étant donné un graphe planaire, on peut l'intégrer dans un temps linéaire traversant librement dans une grille . Je voudrais savoir si des algorithmes efficaces sont connus pour incorporer en ligne droite un graphe plan passant librement dans une grille n c × n c , pour certains petits c , de sorte...
Un de mes amis me pose le problème de planification suivant sur l'arbre. Je trouve que c'est très propre et intéressant. Y a-t-il une référence pour cela? Problème: Il y a un arbre , chaque arête a un coût de déplacement symétrique de 1 . Pour chaque sommet v i , il existe une tâche qui doit être...
En 1973, Weiner a donné la première construction en temps linéaire d'arbres suffixes. L'algorithme a été simplifié en 1976 par McCreight et en 1995 par Ukkonen. Néanmoins, je trouve l'algorithme d'Ukkonen relativement impliqué conceptuellement. Y a-t-il eu des simplifications de l'algorithme...
J'ai un problème algébrique lié aux vecteurs dans le domaine GF (2). Soit (0,1) de dimension et . Trouver un algorithme polynomial temporel qui trouve un (0,1) -vecteur de la même dimension tel que n'est pas la somme des vecteurs parmi . L'addition de vecteurs se fait sur le champ GF (2), qui a...
Existe-t-il une preuve que l'émulation d'une machine de Turing sur une machine de Turing inconsciente ne peut pas être effectuée en moins deO(mlogm)O(mlogm)\mathcal{O}\left(m\log m\right) where mmm is the number of steps the Turing machine uses? Or is this just an upper bound? In the paper of Paul...
Je voudrais connaître l'histoire de ces deux termes: " efficace ", " faisable ". Qui les a utilisés pour le calcul / les algorithmes la première fois? (au sens moderne de ces termes, c'est-à-dire du 20e siècle). Comment sont-ils devenus courants? Comment ces deux termes ont-ils commencé à être...
Quelqu'un a-t-il officialisé la relation entre les techniques d'analyse de réduction de décalage et les continuations délimitées? Lors de la construction d'un analyseur ascendant (par exemple, les analyseurs LR), nous prenons une grammaire, puis représentons les états d'analyse sous forme...
Est-il connu si le problème posé par le sommet de rétroaction sur les graphes planaires non orientés de degré borné est
Une fonction d'ensemble est sous-modulaire monotone si pour tout A , B , f ( A ) + f ( B ) ≥ f ( A ∪ B ) + f ( A ∩ B ) .fffA,BA,BA,Bf(A)+f(B)≥f(A∪B)+f(A∩B).f(A)+f(B)≥f(A∪B)+f(A∩B). f(A) + f(B) \geq f(A \cup B) + f(A \cap B). Une propriété plus forte est Prenant C =...
Quelqu'un peut-il énumérer des problèmes bien connus qui remplissent les conditions suivantes: 1. has a generalization problem that is known to be NP-complete 2. has not been proved to be NP-complete nor has a known polynomial time solution.
J'ai assigné à mes élèves le problème de trouver un triangle cohérent avec une collection de points dans , étiqueté avec . (Un triangle est cohérent avec l'échantillon étiqueté si contient tous les points positifs et aucun des points négatifs; par hypothèse, l'échantillon admet au moins 1 triangle...
ppp≤d≤d\le dbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p) \triangleq |\Pr_{x\in\{0,1\}^n}(p(x)=0)-\Pr_{x\in\{0,1\}^n}(p(x)=1)| \gt \epsilon * Lorsque j'écris un polynôme aléatoire avec des variables de degré et n, vous pouvez penser...
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
Il existe plusieurs résultats bien connus de limites inférieures de taille de circuit basés sur des restrictions aléatoires et le lemme de commutation .AC0AC0\mathsf{AC^0} Pouvons-nous développer un résultat de lemme de commutation pour prouver une taille de borne inférieure pour circuits T C 0...
Dans leur article fondateur Algorithmes théoriques de groupe pour les multiplications matricielles , Cohn, Kleinberg, Szegedy et Umans introduisent le concept de puzzle résolvable de manière unique (défini ci-dessous) et de capacité USP. Ils affirment que Chaudronnier et Winograd, dans leur propre...
L'élimination gaussienne rend le déterminant d'une matrice polynomiale temps calculable. La réduction de la complexité dans le calcul du déterminant, qui est autrement la somme de termes exponentiels, est due à la présence de signes négatifs alternatifs (dont le manque rend le calcul permanent est...