L'informatique

4

Trouver la taille du plus petit sous-ensemble avec GCD = 1

Il s'agit d'un problème de la session de pratique du Polish Collegiate Programming Contest 2012 . Bien que je puisse trouver les solutions pour le concours principal, je n'arrive pas à trouver la solution à ce problème n'importe où. Le problème est le suivant: étant donné un ensemble de entiers …

10 algorithms number-theory

1

Analyse par résolution de problèmes - questions

J'ai récemment rencontré un article décrivant la technique d'analyse mentionnée dans le titre. Malheureusement, la terminologie utilisée dans cet article est quelque peu au-delà de ma compréhension, j'ai donc essayé de saisir l'algorithme de construction de manière plus intuitive. Je crois que j'ai réussi ( cette présentation a été la …

10 algorithms formal-grammars context-free parsing

1

Montrant que la suppression minimale des sommets dans un graphe bipartite est NP-complète

Considérons le problème suivant dont l'instance d'entrée est un simple graphe et un entier naturel .GGGkkk Existe-t-il un ensemble tel que est biparti et ?S⊆V(G)S⊆V(G)S \subseteq V(G)G−SG−SG - S|S|≤k|S|≤k|S| \leq k Je voudrais montrer que ce problème est -complet en y réduisant 3-SAT, -CLIQUE, -DOMINATING SET ou -VERTEX COVER.NPNP\rm{NP}kkkkkkkkk Je …

10 complexity-theory np-complete reductions

1

Maximiser une fonction convexe avec une contrainte linéaire

maximize f(x)subject to Ax=bmaximize f(x)subject to Ax=b\text{maximize } f(\mathbf{x}) \quad\text{subject to } \mathbf{Ax} = \mathbf{b} où f(x)=∑i=1N1+x4i(∑Ni=1x2i)2−−−−−−−−−−−−−⎷,f(x)=∑i=1N1+xi4(∑i=1Nxi2)2,f(\mathbf{x}) = \sum_{i=1}^N\sqrt{1+\frac{x_i^4}{\left(\sum_{i=1}^{N}x_i^2\right)^2}}, et A ∈ R M × N .x=[x1,x2,...,xN]T∈RN×1x=[x1,x2,...,xN]T∈RN×1\mathbf{x} = [x_1,x_2,...,x_N]^T \in \mathbb{R}^{N\times 1}A∈RM×NA∈RM×N\mathbf{A} \in \mathbb{R}^{M\times N} On voit que est convexe et de la forme √fff . On peut aussi montrer …

10 optimization

1

Extrait de tas binaire de fonction potentielle max O (1)

J'ai besoin d'aide pour comprendre la fonction potentielle d'un tas max afin que l'extraction max soit terminée en temps amorti. Je dois ajouter que je n'ai pas une bonne compréhension de la méthode potentielle.O ( 1 )O(1)O(1) Je sais que la fonction d'insertion devrait "payer" davantage afin de réduire le …

10 data-structures runtime-analysis heaps amortized-analysis

3

fonctions lambda anonymes (programmation fonctionnelle)

Que sont les fonctions anonymes (lambda)? Quelle est la définition formelle d'une fonction anonyme dans un langage de programmation fonctionnel? En termes simples, lorsque je programme en schéma / lisp, je dirais qu'une fonction anonyme (lambda) est une fonction qui n'est pas liée à un identifiant. Est-ce tout ce que …

10 logic programming-languages lambda-calculus functional-programming

2

Nombre minimum théorique de registres pour un ordinateur moderne?

J'ai suivi un cours sur les compilateurs dans mes études de premier cycle dans lequel nous avons écrit un compilateur qui compile les programmes source dans un langage Java similaire à un langage d'assemblage de jouets (pour lequel nous avions un interprète). Dans le projet, nous avons fait quelques hypothèses …

10 compilers computer-architecture

1

Un langage de programmation qui ne peut implémenter que des fonctions bijectives calculables?

Existe-t-il des langages de programmation (ou logique) qui peuvent implémenter (ou exprimer) une fonction si et seulement si est une fonction bijective calculable? ff:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request programming-languages logic reversible-computing

3

Prouver que si alors

J'aimerais vraiment votre aide pour prouver ce qui suit. Si alors .NTime(n100)⊆DTime(n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P=NPP=NP\mathrm{P}=\mathrm{NP} Ici, est la classe de toutes les langues qui peut être décidée par la machine de Turing non déterministe en temps polynomial de et est la classe de tous les langages qui peut être décidée par …

10 time-complexity complexity-classes p-vs-np

1

Intuition derrière la relativisation

Je prends un cours sur la complexité informatique. Mon problème est que je ne comprends pas la méthode de relativisation . J'ai essayé de trouver un peu d'intuition dans de nombreux manuels, malheureusement, jusqu'à présent sans succès. J'apprécierai que quelqu'un puisse faire la lumière sur ce sujet afin que je …

10 complexity-theory np-complete complexity-classes relativization np

3

Modification de l'algorithme de Dijkstra pour les poids de bord tirés de la plage

Supposons que j'ai un graphique dirigé avec des poids de bord tirés de la plage [1,…,K][1,…,K][1,\dots, K] où KKK est constant. Si j'essaie de trouver le chemin le plus court en utilisant l'algorithme de Dijkstra , comment puis-je modifier la structure de l'algorithme / des données et améliorer la complexité …

10 algorithms data-structures shortest-path weighted-graphs

7

Où trouver les articles de recherche publiés?

Issu du POV de quelqu'un qui envisage de poursuivre un doctorat en informatique. J'ai du mal à décider sur quoi je concentrerais mes recherches lorsque je ferai mon doctorat. Voir aussi cette question sur academia.SE . Je pense donc que lire / se tenir au courant des recherches en cours …

10 reference-request

1

Problème d'affectation pendant plusieurs jours

J'ai un problème qui peut être réduit à un problème d'affectation. (Dans une question précédente, j'ai découvert comment procéder.) Ce qui signifie que nous avons un ensemble d'agents et un ensemble de tâches ainsi qu'une fonction de coût . Nous devons trouver une affectation afin que le coût total soit …

10 algorithms graph-theory assignment-problem

2

Algorithme d'appariement rapide des chaînes à incompatibilité k

Je suis à la recherche d'un algorithme d'appariement rapide de chaînes k-mismatch. Étant donné une chaîne de motif P de longueur m et une chaîne de texte T de longueur n, j'ai besoin d'un algorithme rapide (temps linéaire) pour trouver toutes les positions où P correspond à une sous-chaîne de …

10 algorithms reference-request strings string-metrics substrings

1

Unification vs solveur SAT

J'ai lu sur Wikipedia que l' unification est un processus de résolution du problème de satisfaction. En même temps, je sais que de tels solveurs sont appelés "solveurs SAT" ou "solveurs SMT". Alors, sont-ils des noms différents pour la même chose? Si vous dites qu'ils sont différents, veuillez signaler une …

10 terminology sat-solvers unification