Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "completeness" wg kryterium: Temat


Tytuł:
Problems remaining NP-complete for sparse or dense graphs
Autorzy:
Schiermeyer, Ingo
Powiązania:
https://bibliotekanauki.pl/articles/972006.pdf
Data publikacji:
1995
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
Computational Complexity
NP-Completeness
Hamiltonian Circuit
Hamiltonian Path
Independent Set
Opis:
For each fixed pair α,c > 0 let INDEPENDENT SET ($m ≤ cn^α$) and INDEPENDENT SET ($m ≥ (ⁿ₂) - cn^α$) be the problem INDEPENDENT SET restricted to graphs on n vertices with $m ≤ cn^α$ or $m ≥ (ⁿ₂) - cn^α$ edges, respectively. Analogously, HAMILTONIAN CIRCUIT ($m ≤ n + cn^α$) and HAMILTONIAN PATH ($m ≤ n + cn^α$) are the problems HAMILTONIAN CIRCUIT and HAMILTONIAN PATH restricted to graphs with $m ≤ n + cn^α$ edges. For each ϵ > 0 let HAMILTONIAN CIRCUIT (m ≥ (1 - ϵ)(ⁿ₂)) and HAMILTONIAN PATH (m ≥ (1 - ϵ)(ⁿ₂)) be the problems HAMILTONIAN CIRCUIT and HAMILTONIAN PATH restricted to graphs with m ≥ (1 - ϵ)(ⁿ₂) edges.
We prove that these six restricted problems remain NP-complete. Finally, we consider sufficient conditions for a graph to have a Hamiltonian circuit. These conditions are based on degree sums and neighborhood unions of independent vertices, respectively. Lowering the required bounds the problem HAMILTONIAN CIRCUIT jumps from 'easy' to 'NP-complete'.
Źródło:
Discussiones Mathematicae Graph Theory; 1995, 15, 1; 33-41
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On the completeness of decomposable properties of graphs
Autorzy:
Hałuszczak, Mariusz
Vateha, Pavol
Powiązania:
https://bibliotekanauki.pl/articles/744156.pdf
Data publikacji:
1999
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
decomposition
hereditary property
completeness
Opis:
Let ₁,₂ be additive hereditary properties of graphs. A (₁,₂)-decomposition of a graph G is a partition of E(G) into sets E₁, E₂ such that induced subgraph $G[E_i]$ has the property $_i$, i = 1,2. Let us define a property ₁⊕₂ by {G: G has a (₁,₂)-decomposition}.
A property D is said to be decomposable if there exists nontrivial additive hereditary properties ₁, ₂ such that D = ₁⊕₂. In this paper we determine the completeness of some decomposable properties and we characterize the decomposable properties of completeness 2.
Źródło:
Discussiones Mathematicae Graph Theory; 1999, 19, 2; 229-236
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The smallest hard-to-color graphs for the classical, total and strong colorings of vertices
Autorzy:
Kubale, M.
Manuszewski, K.
Powiązania:
https://bibliotekanauki.pl/articles/206254.pdf
Data publikacji:
1999
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
optymalizacja
teoria grafów
złożoność obliczeniowa
benchmark
chromatic number
chromatic sum
graph oring
hard-to-color graph
NP-completeness
strong coloring
Opis:
: Let A(G) be the number of colors used by algorithm to color the vertices of graph G. A graph G is said to be hard-to-color (HC) (resp. slightly HC) if for every (resp. some) implementation of the algorithm A we have A(G) > chi(G), where chi(G) is the chromatic number of G. The study of HC graphs makes it possible design improved algorithms trying to avoid hard instances as far possible. Hard-to-color graphs are also good benchmarks for the evaluation of existing and future algorithms and provide an alternative way of assessing their quality. In this paper we demonstrate the smallest HC graphs for the best known coloring heuristics in classical applications, as well as when adapted to the chromatic sum coloring and strong coloring of vertices.
Źródło:
Control and Cybernetics; 1999, 28, 2; 355-365
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Balanced problems on graphs with categorization of edges
Autorzy:
Berežný, Štefan
Lacko, Vladimír
Powiązania:
https://bibliotekanauki.pl/articles/743374.pdf
Data publikacji:
2003
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
algorithms on graphs
categorization of edges
NP-completeness
Opis:
Suppose a graph G = (V,E) with edge weights w(e) and edges partitioned into disjoint categories S₁,...,Sₚ is given. We consider optimization problems on G defined by a family of feasible sets (G) and the following objective function:
$L₅(D) = max_{1≤i≤p} (max_{e ∈ S_i ∩ D} w(e) - min_{e ∈ S_i ∩ D} w(e))$
For an arbitrary number of categories we show that the L₅-perfect matching, L₅-a-b path, L₅-spanning tree problems and L₅-Hamilton cycle (on a Halin graph) problem are NP-complete.
We also summarize polynomiality results concerning above objective functions for arbitrary and for fixed number of categories.
Źródło:
Discussiones Mathematicae Graph Theory; 2003, 23, 1; 5-21
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On absolute retracts and absolute convex retracts in some classes of l-groups
Autorzy:
Jakubík, Ján
Powiązania:
https://bibliotekanauki.pl/articles/728952.pdf
Data publikacji:
2003
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
l-group
absolute retract
absolute convex retract
archimedean l-group
complete l-group
orthogonal completeness
Opis:
By dealing with absolute retracts of l-groups we use a definition analogous to that applied by Halmos for the case of Boolean algebras. The main results of the present paper concern absolute convex retracts in the class of all archimedean l-groups and in the class of all complete l-groups.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2003, 23, 1; 19-30
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Isomorphisms of direct products of lattice-ordered groups
Autorzy:
Jakubík, Ján
Powiązania:
https://bibliotekanauki.pl/articles/728908.pdf
Data publikacji:
2004
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
Lattice-ordered group
direct product
Specker lattice-ordered group
orthogonal σ-completeness
Opis:
In this paper we investigate sufficient conditions for the validity of certain implications concerning direct products of lattice-ordered groups.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2004, 24, 1; 43-52
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
NP-completeness of weakly convex and convex dominating set decision problems
Autorzy:
Raczek, J.
Powiązania:
https://bibliotekanauki.pl/articles/2050778.pdf
Data publikacji:
2004
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
dominating set
NP-completeness
distance
convex set
Opis:
The convex domination number and the weakly convex domination number are new domination parameters. In this paper we show that the decision problems of convex and weakly convex dominating sets are NP-complete for bipartite and split graphs. Using a modified version of Warshall algorithm we can verify in polynomial time whether a given subset of vertices of a graph is convex or weakly convex.
Źródło:
Opuscula Mathematica; 2004, 24, 2; 189-196
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On some properties of Musielak-Orlicz sequence spaces
Autorzy:
Shragin, Isaac V.
Powiązania:
https://bibliotekanauki.pl/articles/745761.pdf
Data publikacji:
2008
Wydawca:
Polskie Towarzystwo Matematyczne
Tematy:
normal pregenfunction
Musielak-Orlicz sequence space
completeness
separability
Opis:
We consider a nontrivial vector space \(X\) and a semimodular \(M\colon X\tp [0, \infty]\) with property: \((\forall\ x \in X) (\exists\ \alpha \gt 0)\ M (\alphax) \lt \infty\) (in other words, \(M\) is normal (i.e. \((\forall\ x\in X \setminus \{0\}) (\exists \alpha \gt 0)\ M (\alphax) \gt 0)\) pregenfunction). The function \(M\) generates in \(X\) a metric \(d\) with \[ d(x, y) := inf \{a \gt 0: M (a^{-1} (x-y)) \leq a\}. \] At the same time \(M\) generates a metric \(\rho\) in Musielak-Orlicz sequence space \(l_M\), namely \[ \rho(\varphi, \psi) := inf \{a \gt 0 : I(a^{-1} (\varphi - \psi)) \leq a\} \] with \(I(\varphi) = \sum_{n \geq 1} M (\varphiφ(n))\). It is proved that the space \((l_M,\rho)\) is complete if and only if the space \((X, d)\) is complete. We consider also the closed subspace \(G_M \subset l_M\) of sequences \(\varphi = \{\varphi(n)\}\) such that \((\forall \alpha \gt 0) (\exists m \in N) \sum_{n\geq m} M(\alpha\varphi(n)) \lt \infty\) and prove that \((G_M ,\rho)\) is separable if and only if \((X, d)\) is the same. Several examples are considered.
Źródło:
Commentationes Mathematicae; 2008, 48, 2
0373-8299
Pojawia się w:
Commentationes Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Efficient list cost coloring of vertices and/or edges of bounded cyclicity graphs
Autorzy:
Giaro, Krzysztof
Kubale, Marek
Powiązania:
https://bibliotekanauki.pl/articles/744404.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
cost coloring
dynamic programming
list coloring
NP-completeness
polynomial-time algorithm
Opis:
We consider a list cost coloring of vertices and edges in the model of vertex, edge, total and pseudototal coloring of graphs. We use a dynamic programming approach to derive polynomial-time algorithms for solving the above problems for trees. Then we generalize this approach to arbitrary graphs with bounded cyclomatic numbers and to their multicolorings.
Źródło:
Discussiones Mathematicae Graph Theory; 2009, 29, 2; 361-376
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Pointwise completeness and pointwise degeneracy of linear continuous-time fractional order systems
Autorzy:
Kaczorek, T.
Busłowicz, M.
Powiązania:
https://bibliotekanauki.pl/articles/384856.pdf
Data publikacji:
2009
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
linear system
fractional
continuous-time
positive
pointwise completeness
Opis:
A dynamical system described by homogeneous equation is called pointwise complete if every final state can be reached by suitable choice of the initial state. The system which is not pointwise complete is called pointwise degenerated. Definitions and necessary and sufficient conditions for the pointwise completeness and the pointwise degeneracy of continuous-time linear systems of fractional order, standard and positive, are given. It is shown that: 1) the standard fractional system is always pointwise complete; 2) the positive fractional system is pointwise complete if and only if the state matrix is diagonal.
Źródło:
Journal of Automation Mobile Robotics and Intelligent Systems; 2009, 3, 1; 8-11
1897-8649
2080-2145
Pojawia się w:
Journal of Automation Mobile Robotics and Intelligent Systems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Pointwise completeness and pointwise degeneracy of standard and positive hybrid linear systems described by the general model
Autorzy:
Kaczorek, T.
Powiązania:
https://bibliotekanauki.pl/articles/229797.pdf
Data publikacji:
2010
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
pointwise completeness
degeneracy
standard
positive
general model
hybrid systems
Opis:
Necessary and sufficient conditions for the pointwise completeness and pointwise degeneracy of the standard and positive hybrid linear systems described by the general model are established. It is shown that the standard general model is always pointwise complete and it is not pointwise degenerated and the positive general model is pointwise complete if and only if its matrix A2 is diagonal.
Źródło:
Archives of Control Sciences; 2010, 20, 2; 123-131
1230-2384
Pojawia się w:
Archives of Control Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Pointwise completeness and pointwise degeneracy of standard and positive linear systems with state-feedbacks
Autorzy:
Kaczorek, T.
Powiązania:
https://bibliotekanauki.pl/articles/384546.pdf
Data publikacji:
2010
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
pointwise completeness
pointwise degeneracy
positive linear systems
state-feedbacks
Opis:
The pointwise completeness and pointwise degeneracy of standard and positive linear discrete-time and continuous- time systems with state-feedbacks are addressed. It is shown that: 1) the pointwise completeness and pointwise degeneracy of continuous-time standard systems are invariant under the state and output feedbacks, 2) for standard and positive discrete-time and positive continuous- time systems necessary and sufficient conditions are established for the existence of gain matrices of statefeedbacks such that the closed-loop systems are pointwise complete. Considerations are illustrated by numerical examples.
Źródło:
Journal of Automation Mobile Robotics and Intelligent Systems; 2010, 4, 1; 3-7
1897-8649
2080-2145
Pojawia się w:
Journal of Automation Mobile Robotics and Intelligent Systems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Pointwise completeness and pointwise degeneracy of standard and positive Roesser models
Punktowa zupełność i punktowa degeneracja standardowych i dodatnich modeli Roessera
Autorzy:
Kaczorek, T.
Powiązania:
https://bibliotekanauki.pl/articles/157244.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
punktowa zupełność
punktowa degeneracja
dodatni model Roessera
pointwise completeness
pointwise degeneracy
positive Roesser model
Opis:
The pointwise completeness and pointwise degeneracy of standard and positive Roesser models are addressed. Necessary and sufficient conditions for pointwise completeness and pointwise degeneracy of standard and positive Roesser models are established. The considerations are illustrated by numerical examples.
W systemach dodatnich wartości sygnałów wejściowych, wyjściowych i zmiennych stanu przyjmuj ą jedynie wartości dodatnie. Przykładami takich systemów są m.in. procesy przemysłowe w reaktorach chemicznych, wymiennikach ciepła, kolumnach destylacyjnych, zbiornikach, a także modele zanieczyszczeń wody i atmosfery. Systemy liniowe dodatnie są definiowane na przestrzeniach stożkowych, dlatego też ich teoria jest bardziej skomplikowana i mniej rozwinięta. Najpopularniejsze modele liniowe dwuwymiarowe Roessera, Fornasiniego-Marchesiniego oraz Kurka są rozszerzone także na zastosowania w systemach dodatnich. W pracy została przedstawiona punktowa zupełność i punktowa degeneracja standardowych i dodatnich modeli Roessera. Rozważania oparto na niezbędnych formalizmach matematycznych. Podane zostały warunki konieczne i wystarczające punktowej zupełności i punktowej degeneracji takich standardowych modeli Roessera. Rozważania zilustrowano przykładami numerycznymi. W pracy znajduje się wiele odniesień do innych prac źródłowych rozszerzających obszar zagadnienia.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 2, 2; 163-165
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Pointwise completeness and pointwise degeneracy of 2D standard and positive Fornasini-Marchesini models with state-feedbacks
Autorzy:
Kaczorek, T.
Powiązania:
https://bibliotekanauki.pl/articles/205641.pdf
Data publikacji:
2011
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
pointwise completeness
standard
state-feedbacks
Opis:
Necessary and sufficient conditions are established for the pointwise completeness of 2D standard and positive Fornasini-Marchesini models with state-feedbacks. Similar relations are obtained for the pointwise degeneracy of the 2D models with state-feedbacks. It is shown that if the positive 2D model is pointwise complete then there exists a gain matrix of the state-feedback such that the closed-loop system is pointwise degenerated if both matrices B1 and B2 of the 2D Fornasini-Marchesini model are nonzero. The considerations are illustrated by numerical examples.
Źródło:
Control and Cybernetics; 2011, 40, 1; 39-58
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Punktowa zupełność i degeneracja określonej klasy dynamicznych układów ciągło-dyskretnych
Pointwise completeness and pointwise degeneracy of a specified class of continuous-discrete time dynamical systems
Autorzy:
Kociszewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/277389.pdf
Data publikacji:
2011
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
punktowa zupełność
punktowa degeneracja
dynamiczne układy ciągło-dyskretne
pointwise completeness
pointwise degeneracy
continuous-discrete time dynamical systems
Opis:
W artykule rozpatrzono problem punktowej zupełności oraz punktowej degeneracji na przykładzie drugiego modelu typu Fornasiniego-Marchesiniego układu ciągło-dyskretnego (DMF-MCD). Podano warunki konieczne i wystarczające punktowej zupełności oraz punktowej degeneracji dla przypadku gdy model ten jest układem standardowym oraz układem dodatnim. Rozważania zilustrowano przykładami liczbowymi.
The paper presents a problem of pointwise completeness and pointwise degeneracy of the standard and positive continuous-discrete time (hybrid) linear systems. The second Fornasini-Marchesini model (SF-MCDM) of the hybrid system has been considered. Two cases of SF-MCDM i.e. standard and positive have been analyzed. Definitions as well as necessary and sufficient conditions of pointwise completeness and pointwise degeneracy for this model have been given. Considerations are illustrated by numerical examples.
Źródło:
Pomiary Automatyka Robotyka; 2011, 15, 2; 538-545
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies