Je suis particulièrement intéressé par leur utilisation dans les applications de vérification de modèle. J'ai des réseaux de files d'attente ouverts, fermés et mixtes avec différentes classes de clients par Baskett et al. Avez-vous d'autres suggestions pour lire du matériel?...
Il est facile de regarder dans beaucoup de manuels les preuves de réduction de sujet et de forte normalisation pour le système F, aussi, il existe parfois des définitions du système F avec des paires, où (t, r) est un terme, pas seulement un encodage. La question est, quelle serait la référence...
Dans un graphique, un ensemble indépendant est un sous-ensemble de sommets qui ne contient pas d'arête comme sous-graphique induit. Le problème de trouver les plus grands ensembles indépendants dans un graphique est une question algorithmique fondamentale, et difficile à résoudre. Considérons la...
Pendant un premier cycle en EE, j'ai assisté à des conférences qui présentaient une belle caractérisation des circuits booléens en termes de nombre de boucles imbriquées. En termes de complexité, les circuits booléens sont souvent considérés comme des creux, mais dans les cycles matériels réels,...
Soit une distribution sur des paires chaîne de bits / étiquette et soit une collection de fonctions booléennes . Pour chaque fonction , soit: et soit: OPT (C, D) = \ min_ {f \ in C} \ err (f, D) Disons qu'un algorithme A apprend agnostiquement C sur n'importe quelle distribution, si pour n'importe...
Il s'agit d'une continuation de ma question précédente sur les limites inférieures de communication pour les fonctions booléennes partielles . Quelqu'un peut-il suggérer une référence sur les limites inférieures pour la communication multipartite non déterministe? J'ai examiné les articles sur le...
Cette question était motivée par une question posée sur stackoverflow . Supposons que l'on vous donne un arbre enraciné (c'est-à-dire qu'il y a une racine et que les nœuds ont des enfants, etc.) sur n nœuds (étiquetés 1 , 2 , … , n ).TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n Chaque sommet a un poids...
J'essaie de trouver des problèmes dont la complexité de l'espace moyen des cas a été analysée. Plus précisément, je suis intéressé de savoir s'il y a des problèmes avec une borne inférieure de complexité d'espace prouvée qui est super-linéaire, et surtout s'il y en a avec une analyse de cas moyen...
Y a-t-il eu des travaux pour récupérer la pente d'un segment de ligne de sa numérisation? On ne peut pas le faire avec une précision parfaite, bien sûr; ce que l'on veut, c'est une méthode pour dériver d'une ligne numérisée un intervalle de pentes possibles. (La notion de ligne numérisée que...
J'ai un problème qui se trouve dans NEXP et peut également être résolu par une MT alternative utilisant le temps exponentiel et une seule alternance (commençant dans un état existentiel).NPNP^{\text{NP}} Connaît-on NEXP NP ? Est-il égal à NEXP ou à une autre classe? Y a-t-il des problèmes complets...
Les logiques conditionnelles sont des logiques qui augmentent l'implication logique traditionnelle avec des opérateurs modaux correspondant à d'autres notions de condition (par exemple, le conditionnel causal lit " A provoque" B ", ou conditionnement probabiliste" A | B ", qui se lit" A donné B...
Je sais que la question "est-ce qu'une formule de premier ordre a un modèle" est indécidable en général.ϕϕ\phi Quelqu'un pourrait-il me donner un lien ou un livre qui donnerait la réponse pour les modèles finis. Si j'ai une formule de premier ordre , est-il possible de déterminer si ϕ a un modèle...
Est-il possible de construire un algorithme qui prend en entrée un automate de refoulement avec la promesse que le langage accepté par cet automate L ( M ) est un langage déterministe sans contexte et génère un automate de refoulement déterministe N qui accepte précisément le langage accepté par M...
Je suis actuellement à la recherche de bons documents de référence concernant les jeux non locaux avec des aspects bénéfiques en communication quantique. Par exemple, je suis conscient que les jeux non locaux sont bons pour réduire la complexité de la communication sur les limites inférieures et...
Je serais très intéressé par les références à la théorie des fonctions sous-modulaires (des bases aux avancées). En particulier, j'étudie des approximations de problèmes d'optimisation difficiles et je souhaite développer mes fondations dans les fonctions sous-modulaires car elles sont pertinentes...
Je voudrais savoir si le problème suivant peut être résolu dans (espace de log non déterministe):N LNL\mathsf{NL} Étant donné un graphe orienté avec deux sommets distincts s et t , existe- t -il un chemin unique de s à t dans G ?GGGssstttssstttGGG Je pense qu'il est susceptible d'être dans car nous...
Le problème des galeries d'art traditionnelles met en place une région et des gardes avec une certaine notion de visibilité, et demande le nombre minimum de gardes à placer pour voir toute la région. Quelqu'un a-t-il déjà examiné des variantes de galeries d'art où la zone de visibilité est plutôt...
Soit une séquence d'entiers où chacun . Pour , soit. Le ème moment de fréquence est défini comme étanta j ∈ { 1 , 2 , … , n } i ∈ { 1 , 2 , … , n } m i = | { j : a j = i } | kune1, un2, … , Unmune1,une2,…,unema_1, a_2,\dotsc, a_munej∈ { 1 , 2 , … , n }unej∈{1,2,…,n}a_j \in \{1,2,\dotsc,n\}i ∈ { 1 ,...
EDIT (Par Tara B): Je serais toujours intéressé par une référence à une preuve de cela, car je devais le prouver moi-même pour mon propre papier. Je cherche la preuve du Théorème 4 qui apparaît dans cet article: Une hiérarchie infinie d'intersections de langues sans contexte par Liu et Weiner....
Selon le livre Topological Graph Theory de Gross et Tucker, étant donné l'incorporation cellulaire d'un graphique sur une surface (par `` surface '', je veux dire ici une sphère avec quelques poignées, et ci-dessous réfère à la sphère avec exactement poignées), on peut définir une multigraphe...