Author

Hypergraphs

8 papers · 1997–2016

1997peak 2 in 19972016

Frequent co-authors

Papers

showing 1–8 of 8 RSS

Core Structures in Random Graphs

Hypergraphs, Cristiane Maria Sato, C Cristiane Maria Sato

Discrete Mathematics and Combinatorics · 13 Sep 2016 · cited 0× · OpenAlex ↗ · more like this ·

I hereby declare that I am the sole author of this thesis. This is a true copy of the thesis, including any required final revisions, as accepted by my examiners. I understand that my thesis may be made electronically available to the public. ii The k-core of a graph is its maximal subgraph with minimum degree at least k. The study of k-cores in random graphs was initiated by Bollobás in 1984 in connection to k-connected subgraphs of random graphs. Subsequently, k-cores and their properties have been extensively investigated in random graphs and hypergraphs, with the determination of the threshold for the emergence of a giant k-core, due to Pittel, Spencer and Wormald, as one of the most prominent results. In this thesis, we obtain an asymptotic formula for the number of 2-connected graphs, as well as 2-edge-connected graphs, with given number of vertices and edges in the sparse range…

Individual Planning in Agent Populations: Exploiting Anonymity and

Frame-action Hypergraphs, Ekhlas Sonu, Yingke Chen +1 more

Artificial Intelligence · 6 Jan 2016 · cited 0× · OpenAlex ↗ · more like this ·

Interactive partially observable Markov decision processes (I-POMDP) provide a formal framework for planning for a self-interested agent in multiagent settings. An agent oper-ating in a multiagent environment must deliberate about the actions that other agents may take and the effect these actions have on the environment and the rewards it receives. Tradi-tional I-POMDPs model this dependence on the actions of other agents using joint action and model spaces. Therefore, the solution complexity grows exponentially with the num-ber of agents thereby complicating scalability. In this paper, we model and extend anonymity and context-specific indepen-dence – problem structures often present in agent populations – for computational gain. We empirically demonstrate the effi-ciency from exploiting these problem structures by solving a new multiagent problem involving more than 1,000 agents.

A Formal Model Of SystemC Components Using

Fractal Hypergraphs, Nicolas Vallée, Bruno Monsuez

Hardware and Architecture · 23 Jul 2013 · cited 0× · OpenAlex ↗ · more like this ·

Abstract — In this paper, we introduce a new mathematical structure: fractal hypergraph. Due to the hierarchical and compositional nature of fractal hypergraphs, representations based on fractal hypergraphs can capture and abstract the object-oriented nature of SystemC. We propose a formal semantics of SystemC components based on fractal hypergraphs that has already be used in a formal debugger of SystemC components.

ANKH: Information Threat Analysis with

Actor-network Hypergraphs, Wolter Pieters

Information Systems · 21 Apr 2011 · cited 0× · OpenAlex ↗ · more like this ·

Abstract. Traditional information security modelling approaches often focus on containment of assets within boundaries. Due to what is called de-perimeterisation, such boundaries, for example in the form of clearly separated company networks, disappear. This paper argues that in a deperimeterised situation a focus on containment in security modelling is ineffective. Most importantly, the tree structure induced by the notion of containment is insufficient to model the interactions between digital, physical and social aspects of security. We use the sociological framework of actor-network theory to model information security starting from group membership instead of containment. The model is based on hypergraphs, and is also applicable to physical and social security measures. We provide algorithms for threat finding as well as examples.

© Springer Basel AG 2010 Annals of Combinatorics Monochromatic Matchings in the Shadow Graph of

Almost Complete Hypergraphs

Discrete Mathematics and Combinatorics · 2007 · cited 0× · OpenAlex ↗ · more like this ·

Abstract. Edge colorings of r-uniform hypergraphs naturally define a multicoloring on the 2-shadow, i.e., on the pairs that are covered by hyperedges. We show that in any (r − 1)coloring of the edges of an r-uniform hypergraph with n vertices and at least (1 − ε) ( n) r edges, the 2-shadow has a monochromatic matching covering all but at most o(n) vertices. This result confirms an earlier conjecture and implies that for any fixed r and sufficiently large n, thereis a monochromatic Berge-cycle of length (1 − o(1))n in every (r − 1)-coloring of the edges of K (r) n, the complete r-uniform hypergraph on n vertices.

doi:10.1017/S0963548304006546 Printed in the United Kingdom Counting Small Cliques in

Uniform Hypergraphs, Y. Peng, J. Skokan

Demography · 2002 · cited 0× · OpenAlex ↗ · more like this ·

Many applications of Szemerédi’s Regularity Lemma for graphs are based on the following counting result. If G is an s-partite graph with partition V (G) = ⋃si=1 Vi, |Vi | = m for all i ∈ [s], and all pairs (Vi, Vj), 1 i &lt; j s, are -regular of density d, then G contains (1 ± f())d ( s2)ms cliques Ks, provided &lt; (d), where f() tends to 0 as tends to 0. Guided by the regularity lemma for 3-uniform hypergraphs established earlier by Frankl and Rödl, Nagle and Rödl proved a corresponding counting lemma. Their proof is rather technical, mostly due to the fact that the ‘quasi-random ’ hypergraph arising after application of Frankl and Rödl’s regularity lemma is ‘sparse’, and consequently difficult to handle. When the ‘quasi-random ’ hypergraph is ‘dense ’ Kohayakawa, Rödl and Skokan (J. Com-bin. Theory Ser. A 97 307–352) found a simpler proof of the counting lemma. Their…

Improved Efficient Parallel Algorithms to Recognize Interval Graphs

Interval Hypergraphs

Computational Theory and Mathematics · 1997 · cited 0× · OpenAlex ↗ · more like this ·

We present simple parallel algorithms to recognize hypergraphs with the property that the vertices can be ordered that the hyperedges form intervals. The &gorithm circumvents P-Q-trees and is a simplification of the algorithm of Klein and Reif flZ] This results to a simple parallel algorithm for interva and for rewgnitaon of convex bipartite graphs. The basic ideas are quite similar to the interval graph recognition algorithm of Hsu. The major idea is that we can circumvent the lm-cal breadth-first search procedure. With similar techniques, also interval hypergmphs can be recognized. With a little bit less workload, interval hypergraphs can be recognized if a representation of the hyperedges as subtrees of a tree is known.

Recognizing Intersection Graphs of Linear

Uniform Hypergraphs, Michael S. Jacobson, André E. Kézdy

Computational Theory and Mathematics · 1997 · cited 0× · OpenAlex ↗ · more like this ·

A hypergraph is linear if any two distinct hyperedges have at most one common vertex. The existence of a polynomial algorithm is shown for deciding whether a graph of minimum degree b~ 19 is the intersection graph of a linear 3-uniform hypergraph. This result improves a corollary of the finite forbidden subgraph characterization proved for b ~ 69 by Naik et al. in (8). Essentially the same methods yield a polynomial recognition algorithm for the intersection graph of a linear r-uniform hypergraph , r ~ 3, provided the minimum edge-degree of the graphs is at least 2r 2 - 3r + 1. This improves on the cubic bound that follows from the corresponding finite characterization result in (8).