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ę "hypergraph" wg kryterium: Temat


Tytuł:
A Characterization of Hypergraphs with Large Domination Number
Autorzy:
Henning, Michael A.
Löwenstein, Christian
Powiązania:
https://bibliotekanauki.pl/articles/31340924.pdf
Data publikacji:
2016-05-01
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
domination
transversal
hypergraph
Opis:
Let $ H = (V, E) $ be a hypergraph with vertex set $ V $ and edge set $ E $. A dominating set in $ H $ is a subset of vertices $ D \subseteq V $ such that for every vertex $ v \in V \ \backslash \ D $ there exists an edge $ \mathcal{e} \in E $ for which $ v \in \mathcal{e} $ and $ \mathcal{e} \cap D \ne \emptyset $. The domination number $ \gamma (H) $ is the minimum cardinality of a dominating set in $ H $. It is known [Cs. Bujtás, M.A. Henning and Zs. Tuza, Transversals and domination in uniform hypergraphs, European J. Combin. 33 (2012) 62-71] that for $ k \ge 5 $, if $ H $ is a hypergraph of order $ n $ and size $ m $ with all edges of size at least $ k $ and with no isolated vertex, then $ \gamma (H) \ge (n + \floor{ (k − 3)//2 } m) // ( \floor{ 3(k − 1)//2 } ) $. In this paper, we apply a recent result of the authors on hypergraphs with large transversal number [M.A. Henning and C. Löwenstein, A characterization of hypergraphs that achieve equality in the Chvátal-McDiarmid Theorem, Discrete Math. 323 (2014) 69-75] to characterize the hypergraphs achieving equality in this bound.
Źródło:
Discussiones Mathematicae Graph Theory; 2016, 36, 2; 427-438
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Finite Characterization and Recognition of Intersection Graphs of Hypergraphs with Rank at Most 3 and Multiplicity at Most 2 in the Class of Threshold Graphs
Autorzy:
Metelsky, Yury
Schemeleva, Kseniya
Werner, Frank
Powiązania:
https://bibliotekanauki.pl/articles/31342190.pdf
Data publikacji:
2017-02-01
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
intersection graph
hypergraph rank
hypergraph multiplicity
forbidden induced subgraph
threshold graph
Opis:
We characterize the class $ L_3^2 $ of intersection graphs of hypergraphs with rank at most 3 and multiplicity at most 2 by means of a finite list of forbidden induced subgraphs in the class of threshold graphs. We also give an O(n)-time algorithm for the recognition of graphs from $ L_3^2 $ in the class of threshold graphs, where n is the number of vertices of a tested graph.
Źródło:
Discussiones Mathematicae Graph Theory; 2017, 37, 1; 13-28
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A hierarchy of maximal intersecting triple systems
Autorzy:
Polcyn, J.
Ruciński, A.
Powiązania:
https://bibliotekanauki.pl/articles/254859.pdf
Data publikacji:
2017
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
maximal intersecting family
3-uniform hypergraph
triple system
Opis:
We reach beyond the celebrated theorems of Erdös-Ko-Rado and Hilton-Milner, and a recent theorem of Han-Kohayakawa, and determine all maximal intersecting triples systems. It turns out that for each n ≥ 7 there are exactly 15 pairwise non-isomorphic such systems (and 13 for n = 6). We present our result in terms of a hierarchy of Turan numbers [formula], s ≥ 1, where [formula] is a pair of disjoint triples. Moreover, owing to our unified approach, we provide short proofs of the above mentioned results (for triple systems only). The triangle C3 is defined as C3 = {{x1,y3,x2}, {x1,y2,x3}, {x2, y1,x3}}. Along the way we show that the largest intersecting triple system H on n ≥ 6 vertices, which is not a star and is triangle-free, consists of max{10, n} triples. This facilitates our main proof's philosophy which is to assume that H contains a copy of the triangle and analyze how the remaining edges of H intersect that copy.
Źródło:
Opuscula Mathematica; 2017, 37, 4; 597-608
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A note on a list colouring of hypergraphs
Autorzy:
Drgas-Burchardt, E.
Powiązania:
https://bibliotekanauki.pl/articles/2050379.pdf
Data publikacji:
2004
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
hypergraph
list colouring
Opis:
In the note we present two results. The first of them gives a sufficient condition for a colouring of a hypergraph from an assigned list. It generalises the analogous fact for graphs. The second result states that for every $k \geq 3$ and every $l \geq 2$, a distance between the list chromatic number and the chromatic number can be arbitrarily large in the class of k-uniform hypergraphs with the chromatic number bounded below by l. A similar result for k-uniform, 2-colorable hypergraphs is known but the proof techniques are different.
Źródło:
Opuscula Mathematica; 2004, 24, 2; 171-175
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A note on k-uniform self-complementary hypergraphs of given order
Autorzy:
Szymański, Artur
Wojda, A.
Powiązania:
https://bibliotekanauki.pl/articles/743151.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
self-complementing permutation
self-complementary hypergraph
k-uniform hypergraph
binomial coefficients
Opis:
We prove that a k-uniform self-complementary hypergraph of order n exists, if and only if $\binom{n}{k}$ is even.
Źródło:
Discussiones Mathematicae Graph Theory; 2009, 29, 1; 199-202
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A note on self-complementary 4-uniform hypergraphs
Autorzy:
Szymański, A.
Powiązania:
https://bibliotekanauki.pl/articles/255191.pdf
Data publikacji:
2005
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
complementing permutation
self-complementary hypergraph
k-uniform hypergraph
Opis:
We prove that a permutation theta is complementing permutation for a 4-uniform hypergraph if and only if one of the following cases is satisfied: (i) the length of every cycle of theta is a multiple of 8, (ii) theta has 1, 2 or 3 fixed points, and all other cycles have length a multiple of 8, (iii) theta has 1 cycle of length 2, and all other cycles have length a multiple of 8, (iv) theta has 1 fixed point, 1 cycle of length 2, and all other cycles have length a multiple of 8, (v) theta has 1 cycle of length 3, and all other cycles have length a multiple of 8. Moreover, we present algorithms for generating every possible 3 and 4-uniform self-complementary hypergraph.
Źródło:
Opuscula Mathematica; 2005, 25, 2; 319-323
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Algorytm selekcji wykorzystujący teorię hipergrafów
A selection algorithm based on the hypergraph theory
Autorzy:
Stefanowicz, Ł.
Wiśniewski, R.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/152957.pdf
Data publikacji:
2014
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
selekcja
podsieci automatowe
implikanty proste
hipergraf
hipergraf transwersal dokładnych
transwersala
transwersala dokładna
selection
State Machine Components
SMCs
prime implicants
hypergraph
transversal
exact transversal
Opis:
Artykuł porusza kwestię selekcji określonych elementów zbioru z wykorzystaniem teorii hipergrafów. Przedstawiona została idea wspólnego algorytmu selekcji, w przypadku takich problemów, jak selekcja podsieci automatowych w dekompozycji sieci Petriego, a także selekcja implikantów prostych w procesie miminalizacji funkcji logicznych. Jako bazowy algorytm, wykorzystano metodę transwersal dokładnych, jednocześnie usprawniając ją o alternatywną scieżkę w przypadku, kiedy dany hipergraf selekcji nie należy do klasy hipergrafu transwersal dokładnych. Jak pokazują badania, metoda może być dobrą alternatywą obok wykorzystywanych metod tradycyjnych.
The paper deals with the selection problem based on the hypergraph theory. There is presented an idea of a common selection algorithm for selection of State Machine Components and Prime Implicants. The exact transversal method was used as a baseline algorithm. It was improved by supporting it with an optional path when a given selection hypergraph did not belong to the xt-class (class of the exact transversal hypergraph). In this case, the exact transversal was searched. When it was unsuccessful, the regular transversal was searched. The studies prove that the method allows obtaining the exact solution when the selection hypergraph does not belong to the xt-class, but has an exact transversal. The presented results show that a hypergraph which does not belong to the xt-class may have an exact transversal enabling obtaining a solution which would be as good as the one obtained with the backtracking method. The exact solution was also obtained with the use of an ordinary transversal, which de facto indicated that the regular transversals allowed, in certain cases, obtaining the exact solution. It seems to confirm the aptly determined class of solutions of the proposed improvements. In some cases, the solution contained one extra subnet, but in one tested case, the solution turned out to be much worse than the exact one.
Źródło:
Pomiary Automatyka Kontrola; 2014, R. 60, nr 7, 7; 516-518
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Almost Self-Complementary 3-Uniform Hypergraphs
Autorzy:
Kamble, Lata N.
Deshpande, Charusheela M.
Bam, Bhagyashree Y.
Powiązania:
https://bibliotekanauki.pl/articles/31342164.pdf
Data publikacji:
2017-02-01
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
uniform hypergraph
self-complementary hypergraph
almost complete 3-uniform hypergraph
almost self-complementary hypergraph
quasi regular hypergraph
Opis:
It is known that self-complementary 3-uniform hypergraphs on n vertices exist if and only if n is congruent to 0, 1 or 2 modulo 4. In this paper we define an almost self-complementary 3-uniform hypergraph on n vertices and prove that it exists if and only if n is congruent to 3 modulo 4. The structure of corresponding complementing permutation is also analyzed. Further, we prove that there does not exist a regular almost self-complementary 3-uniform hypergraph on n vertices where n is congruent to 3 modulo 4, and it is proved that there exist a quasi regular almost self-complementary 3-uniform hypergraph on n vertices where n is congruent to 3 modulo 4.
Źródło:
Discussiones Mathematicae Graph Theory; 2017, 37, 1; 131-140
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Almost Self-Complementary Uniform Hypergraphs
Autorzy:
Wojda, Adam Paweł
Powiązania:
https://bibliotekanauki.pl/articles/31342288.pdf
Data publikacji:
2018-05-01
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
uniform hypergraph
Opis:
A $k$-uniform hypergraph ($k$-hypergraph) is almost self-complementary if it is isomorphic with its complement in the complete $k$-uniform hypergraph minus one edge. We prove that an almost self-complementary $k$-hypergraph of order $n$ exists if and only if \( \binom{n}{k} \) is odd.
Źródło:
Discussiones Mathematicae Graph Theory; 2018, 38, 2; 607-610
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Applications of a hyper-graph grammar system in adaptive finite-element computations
Autorzy:
Gurgul, P.
Jopek, K.
Pingali, K.
Paszyńska, A.
Powiązania:
https://bibliotekanauki.pl/articles/331397.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
adaptive finite element method
hypergraph grammar
mesh-based computations
metoda elementów skończonych
gramatyka hipergrafu
siatka obliczeniowa
Opis:
This paper describes application of a hyper-graph grammar system for modeling a three-dimensional adaptive finite element method. The hyper-graph grammar approach allows obtaining a linear computational cost of adaptive mesh transformations and computations performed over refined meshes. The computations are done by a hyper-graph grammar driven algorithm applicable to three-dimensional problems. For the case of typical refinements performed towards a point or an edge, the algorithm yields linear computational cost with respect to the mesh nodes for its sequential execution and logarithmic cost for its parallel execution. Such hyper-graph grammar productions are the mathematical formalism used to describe the computational algorithm implementing the finite element method. Each production indicates the smallest atomic task that can be executed concurrently. The mesh transformations and computations by using the hyper-graph grammar-based approach have been tested in the GALOIS environment. We conclude the paper with some numerical results performed on a shared-memory Linux cluster node, for the case of three-dimensional computational meshes refined towards a point, an edge and a face.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2018, 28, 3; 569-582
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Asymptotic Enumeration of Non-Uniform Linear Hypergraphs
Autorzy:
Hasheminezhad, Mahdieh
McKay, Brendan D.
Powiązania:
https://bibliotekanauki.pl/articles/32361742.pdf
Data publikacji:
2022-02-01
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
Steiner system
linear hypergraph
asymptotic enumeration
switching method
Opis:
A linear hypergraph, also known as a partial Steiner system, is a collection of subsets of a set such that no two of the subsets have more than one element in common. Most studies of linear hypergraphs consider only the uniform case, in which all the subsets have the same size. In this paper we provide, for the first time, asymptotically precise estimates of the number of linear hypergraphs in the non-uniform case, as a function of the number of subsets of each size.
Źródło:
Discussiones Mathematicae Graph Theory; 2022, 42, 1; 219-230
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Asymptotic Sharpness of Bounds on Hypertrees
Autorzy:
Lin, Yi
Kang, Liying
Shan, Erfang
Powiązania:
https://bibliotekanauki.pl/articles/31341637.pdf
Data publikacji:
2017-08-01
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
hypertree
semicycle in hypergraph
chain in hypergraph
Opis:
The hypertree can be defined in many different ways. Katona and Szabó introduced a new, natural definition of hypertrees in uniform hypergraphs and investigated bounds on the number of edges of the hypertrees. They showed that a $k$-uniform hypertree on $n$ vertices has at most \( \binom{n}{k−1} \) edges and they conjectured that the upper bound is asymptotically sharp. Recently, Szabó verified that the conjecture holds by recursively constructing an infinite sequence of $k$-uniform hypertrees and making complicated analyses for it. In this note we give a short proof of the conjecture by directly constructing a sequence of $k$-uniform $k$-hypertrees.
Źródło:
Discussiones Mathematicae Graph Theory; 2017, 37, 3; 789-795
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Automatyczny system wspomagający proces projektowania systemów dyskretnych z wykorzystaniem hipergrafów
CAD system for automatic decomposition of discrete systems based on hypergraphs
Autorzy:
Wiśniewska, M.
Powiązania:
https://bibliotekanauki.pl/articles/156956.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
graf
hipergraf
dekompozycja systemów dyskretnych
autorski system wspomagający proces dekompozycji systemów dyskretnych z wykorzystaniem hipergrafów (system Hippo)
graph
hypergraph
decomposition of discrete system
CAD system Hippo for automatic decomposition of Petri Nets based on hypergraphs
Opis:
W artykule zaprezentowany został autorski system wspomagający proces projektowania systemów dyskretnych z wykorzystaniem hipergrafów. Narzędzie Hippo składa się ze zbioru bibliotek, realizujących najważniejsze operacje z zakresu teorii grafów i hipergrafów (m. in. kolorowanie, pokrycie, dopełnienie, dualizm, itd.), które zostały zrealizowane pod kątem ich zastosowania w dekompozycji systemów dyskretnych. Głównym zadaniem systemu jest usprawnienie oraz automatyzacja procesu dekompozycji systemów dyskretnych stosowanych m.in. w projektowaniu zaawansowanych układów cyfrowych (redukcja rozmiaru pamięci, selekcja klas kompatybilności, minimalizacja funkcji logicznych, dekompozycja automatów cyfrowych). Opracowany system Hippo umożliwia przeprowadzenie automatycznego procesu dekompozycji z zastosowaniem różnych algorytmów (zarówno grafowych, jak i hipergrafowych), w efekcie pozwalając wybrać użytkownikowi najkorzystniejsze rozwiązanie.
In the paper a dedicated CAD system Hippo for automatic decomposition of discrete systems is presented. The tool consists of a set of libraries. Each library was designed as a separate module to solve the particular problem from the field of the graph and hypergraph theories (among others: vertex coloring, vertex covering, transversal computation, dualism, computation of the graph and hypergraph complement). The main task of the system is to improve the process of decomposition of discrete systems (for example: reduction of the microinstruction length, selection of the compatibility classes, decomposition of concurrent automata). The Hippo system consists of eight main modules:- complement -calculation of graph/hypergraph complement;- coloring - five methods of coloring of graph and hypergraph (four greedy and one backtracking);- transversal - four methods of transversals computation (fast reduction algorithm, greedy, backtracking, mixed fast reduction and greedy);- exact transversals - the calculation of the exact transversals is based on the Knuth DLX algorithm, the main advantage of such a solution is polynomial computational time in case of exact hypergraphs;- dualism (only for hypergraphs) - calculates the dual hypergraph;- converting graph to hypergraph;- converting hypergraph to graph;- conversion of the graph/hypergraph description to the TeX format.In the paper particular libraries are described in detail. Moreover, the stand-alone application (Hippo) is shown. Finally, an example of automatic decomposition of the discrete system is presented. All steps and required operations are described.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 7, 7; 726-728
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Autorski system wspomagający proces dekompozycji sieci Petriego na podsieci typu automatowego
CAD system for automatic decomposition of Petri Nets
Autorzy:
Wiśniewska, M.
Powiązania:
https://bibliotekanauki.pl/articles/155267.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
hipergraf
transwersala dokładna
system Hippo wspomagający proces dekompozycji sieci Petriego
hypergraph
hypergraph transversal
CAD system Hippo for automatic decomposition of Petri Nets based on hypergraphs
Opis:
W referacie przedstawiono autorski system komputerowy wspomagający proces dekompozycji sieci Petriego na podsieci typu automatowego. System sterujący zostaje opisany za pomocą sieci Petriego, na podstawie której określany jest graf lub hipergraf współbieżności. Macierz incydencji hipergrafu współbieżności stanowi dane wejściowe systemu Hippo. Aplikacja oferuje przeprowadzenie dekompozycji z zastosowaniem operacji bazujących na teorii hipergrafów różnymi metodami i umożliwia wybór najlepszej z nich.
The dedicated CAD system Hippo for automatic decomposition of Petri Nets into concurrent automata is presented. At the beginning the reachability graph is calculated for the Petri Net which may be easily represented by a concurrency graph or a hypergraph. Such structures are input for main decomposition process. There are several methods for decomposition of Petri Nets. The most popular one is based on the colouring of the concurrency graph, however recently, a few new algorithms based on hypergraph theory have appeared. Contrary to a concurrency graph, application of a concurrency hypergraph to the decomposition of Petri Net enables using new and fast methods. The solution can be found by colouring of a concurrency hypergraph, calculating its complement or finding exact transversals. Especially, the last method is most interesting, because it allows reducing the computational complexity to a polynomial. In the paper the decomposition process is presented in detail. There are several ways of decomposition presented (based on colouring graphs/hypergraphs), calculating hypergraph complement or finding its exact transversals. Each of the presented method was implemented in Hippo. The decomposition process is automated. As the input of the Hippo system, a description of a concurrency graph or hypergraph is required. Based on this structure and a selected decomposition method, Hippo finds and prints results. The obtained results are presented in graphical and text form.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 948-950
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bounds on the Number of Edges of Edge-Minimal, Edge-Maximal and L-Hypertrees
Autorzy:
Szabó, Péter G.N.
Powiązania:
https://bibliotekanauki.pl/articles/31341093.pdf
Data publikacji:
2016-05-01
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
hypertree
chain in hypergraph
edge-minimal hypertree
edge-maximal hypertree
2-hypertree
Steiner system
Opis:
In their paper, Bounds on the number of edges in hypertrees, G.Y. Katona and P.G.N. Szabó introduced a new, natural definition of hypertrees in $k$-uniform hypergraphs and gave lower and upper bounds on the number of edges. They also defined edge-minimal, edge-maximal and $l$-hypertrees and proved an upper bound on the edge number of $l$-hypertrees. In the present paper, we verify the asymptotic sharpness of the \( \binom{n}{k-1} \) upper bound on the number of edges of $k$-uniform hypertrees given in the above mentioned paper. We also make an improvement on the upper bound of the edge number of 2-hypertrees and give a general extension construction with its consequences. We give lower and upper bounds on the maximal number of edges of $k$-uniform edge-minimal hypertrees and a lower bound on the number of edges of $k$-uniform edge-maximal hypertrees. In the former case, the sharp upper bound is conjectured to be asymptotically \( \frac{1}{k-1} \binom{n}{2} \).
Źródło:
Discussiones Mathematicae Graph Theory; 2016, 36, 2; 259-278
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
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