نتایج جستجو برای: exact annihilating ideal graph

تعداد نتایج: 395392  

Journal: :ACM Transactions on Programming Languages and Systems 2022

Many program-analysis problems can be formulated as graph-reachability problems. Interleaved Dyck language reachability ( InterDyck -reachability) is a fundamental framework to express wide variety of over edge-labeled graphs. The represents an intersection multiple matched-parenthesis languages (i.e., languages). In practice, program analyses typically leverage one achieve context-sensitivity,...

ژورنال: پژوهش های ریاضی 2022

In this paper, we determine the distance matrix and its characteristic polynomial of a Cayley graph over a group G in terms of irreducible representations of G. We give exact formulas for n-prisms, hexagonal torus network and cubic Cayley graphs over abelian groups. We construct an innite family of distance integral Cayley graphs. Also we prove that a nite abelian group G admits a connected...

2010
Pim van 't Hof

An ideal algorithm for solving a particular problem always finds an optimal solution, finds such a solution for every possible instance, and finds it in polynomial time. When dealing with NP-hard problems, algorithms can only be expected to possess at most two out of these three desirable properties. All algorithms presented in this thesis are exact algorithms, which means that they always find...

Journal: :Math. Comput. 2004
Petteri Kaski Patric R. J. Östergård

Using an orderly algorithm, the Steiner triple systems of order 19 are classified; there are 11,084,874,829 pairwise nonisomorphic such designs. For each design, the order of its automorphism group and the number of Pasch configurations it contains are recorded; 2,591 of the designs are anti-Pasch. There are three main parts of the classification: constructing an initial set of blocks, the seed...

2006
Hans L. Bodlaender Dieter Kratsch

In this paper, we give an algorithm that computes the chromatic number of a graph in O(5.283n) time and polynomial memory.

Journal: :Computers & OR 2012
Pablo San Segundo

This paper describes a new exact algorithm PASS for the vértex coloring problem based on the well Keywordsknown DSATUR algorithm. At each step DSATUR maximizes saturation degree to select a new candidate Color vértex to color, breaking ties by máximum degree w.r.t. uncolored vértices. Later Sewell introduced a Graph new tiebreaking strategy, which evaluated available colors for each vértex expl...

Journal: :Neural computation 2015
Chris J. Oates Lilia Carneiro da Costa Tom E. Nichols

Directed acyclic graphs (DAGs) and associated probability models are widely used to model neural connectivity and communication channels. In many experiments, data are collected from multiple subjects whose connectivities may differ but are likely to share many features. In such circumstances, it is natural to leverage similarity among subjects to improve statistical efficiency. The first exact...

2007
David W. Lewis

In “New Proofs of the structure theorems for Witt Rings”, the first author shows how the standard ring-theoretic results on the Witt ring can be deduced in a quick and elementary way from the fact that the Witt ring of a field is integral and from the specific nature of the explicit annihilating polynomials he provides. We will show in the present article that the same structure results hold fo...

Journal: :Theor. Comput. Sci. 2010
Artiom Alhazov Chang Li Ion Petre

We consider a graph-theoretical formalization of the process of gene assembly in ciliates introduced in Ehrenfeucht et al (2003), where a gene is modeled as a signed graph. The gene assembly, based on three types of operations only, is then modeled as a graph reduction process (to the empty graph). Motivated by the robustness of the gene assembly process, the notions of parallel reduction and p...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید