Search results for "hypergraph"

showing 10 items of 13 documents

A segmentation algorithm for noisy images

2005

International audience; This paper presents a segmentation algorithm for gray-level images and addresses issues related to its performance on noisy images. It formulates an image segmentation problem as a partition of a weighted image neighborhood hypergraph. To overcome the computational difficulty of directly solving this problem, a multilevel hypergraph partitioning has been used. To evaluate the algorithm, we have studied how noise affects the performance of the algorithm. The alpha-stable noise is considered and its effects on the algorithm are studied. Key words : graph, hypergraph, neighborhood hypergraph, multilevel hypergraph partitioning, image segmentation and noise removal.

020203 distributed computingHypergraphMathematics::Combinatorics[ INFO ] Computer Science [cs]Computer sciencebusiness.industrySegmentation-based object categorizationComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONScale-space segmentationImage processing02 engineering and technologyImage segmentation[INFO] Computer Science [cs]020202 computer hardware & architectureComputer Science::Computer Vision and Pattern Recognition0202 electrical engineering electronic engineering information engineeringGraph (abstract data type)SegmentationComputer vision[INFO]Computer Science [cs]Artificial intelligencebusinessAlgorithmMathematicsofComputing_DISCRETEMATHEMATICS
researchProduct

When can an equational simple graph be generated by hyperedge replacement?

1998

Infinite hypergraphs with sources arise as the canonical solutions of certain systems of recursive equations written with operations on hypergraphs. There are basically two different sets of such operations known from the literature, HR and VR. VR is strictly more powerful than HR on simple hypergraphs. Necessary conditions are known ensuring that a VR-equational simple hypergraph is also HR-equational. We prove that two of them, namely having finite tree-width or not containing the infinite bipartite graph, are also sufficient. This shows that equational hypergraphs behave like context-free sets of finite hypergraphs.

CombinatoricsDiscrete mathematicsHypergraphGraph rewritingMathematics::CombinatoricsSimple graphBinary treeComputer Science::Discrete MathematicsSimple (abstract algebra)Bipartite graphKleene's recursion theoremHomomorphismMathematics
researchProduct

Potential approach in marginalizing Gibbs models

1999

Abstract Given an undirected graph G or hypergraph potential H model for a given set of variables V , we introduce two marginalization operators for obtaining the undirected graph G A or hypergraph H A associated with a given subset A ⊂ V such that the marginal distribution of A factorizes according to G A or H A , respectively. Finally, we illustrate the method by its application to some practical examples. With them we show that potential approach allow defining a finer factorization or performing a more precise conditional independence analysis than undirected graph models. Finally, we explain connections with related works.

Discrete mathematicsApplied MathematicsComparability graphStrength of a graphClique graphlaw.inventionTheoretical Computer ScienceCombinatoricslawGraph powerArtificial IntelligenceGibbs modelLine graphGraph (abstract data type)FactorizationNull graphMarginalizationRandom geometric graphHypergraph modelsSoftwareMathematicsInternational Journal of Approximate Reasoning
researchProduct

Nondeterministic operations on finite relational structures

1998

Abstract This article builds on a tutorial introduction to universal algebra for language theory (Courcelle, Theoret. Comput. Sci. 163 (1996) 1–54) and extends it in two directions. First, nondeterministic operations are considered, i.e., operations which give a set of results instead of a single one. Most of their properties concerning recognizability and equational definability carry over from the ordinary case with minor modifications. Second, inductive sets of evaluations are studied in greater detail. It seems that they are handled most naturally in the framework presented here. We consider the analogues of top-down and bottom-up tree transducers. Again, most of their closure propertie…

Discrete mathematicsFinite-state machineGeneral Computer ScienceComputer scienceLogicFormal languages (recognizable and context-free sets transducers)Unbounded nondeterminismMonad (functional programming)Symbolic computationHypergraphsFirst-order logicLogical theoryDecidabilityTheoretical Computer ScienceNondeterministic algorithmAlgebraDeterministic automatonFormal languageUniversal algebraEquivalence relationTree transducersRewritingComputer Science(all)Theoretical Computer Science
researchProduct

A Hypergraph Based Framework for Intelligent Tutoring of Algebraic Reasoning

2013

The translation of word problems into equations is one of the major difficulties for students regarding problem solving. This paper describes both a domain-specific knowledge representation and an inference engine based on hypergraphs that permits intelligent student supervision of this stage of the solving process. The framework presented makes it possible to simultaneously: a) represent all potential algebraic solutions to a given word problem; b) keep track of the student’s actions; c) provide automatic remediation; and d) determine the current state of the resolution process univocally. Starting from these ideas, we have designed an intelligent tutoring system (ITS). An experimental eva…

Discrete mathematicsWord problem (mathematics education)HypergraphTheoretical computer scienceKnowledge representation and reasoningComputer sciencePhysics::Physics EducationAlgebraic numberInference engineIntelligent tutoring systemAlgebraic reasoning
researchProduct

In the Shadows of a hypergraph: looking for associated primes of powers of squarefree monomial ideals

2018

The aim of this paper is to study the associated primes of powers of square-free monomial ideals. Each square-free monomial ideal corresponds uniquely to a finite simple hypergraph via the cover ideal construction, and vice versa. Let H be a finite simple hypergraph and J(H) the cover ideal of H. We define the shadows of hypergraph, H, described as a collection of smaller hypergraphs related to H under some conditions. We then investigate how the shadows of H preserve information about the associated primes of the powers of J(H). Finally, we apply our findings on shadows to study the persistence property of square-free monomial ideals and construct some examples exhibiting failure of contai…

HypergraphMonomialProperty (philosophy)Associated primes Cover ideals Hypergraphs Powers of idealsMathematics::Number Theory0102 computer and information sciencesHypergraphsCommutative Algebra (math.AC)01 natural sciencesCover idealsCombinatoricsSimple (abstract algebra)FOS: MathematicsMathematics - CombinatoricsDiscrete Mathematics and CombinatoricsPowers of ideals0101 mathematicsMathematicsAlgebra and Number TheoryIdeal (set theory)Mathematics::Commutative Algebra010102 general mathematicsAssociated primes; Cover ideals; Hypergraphs; Powers of idealsMonomial idealSquare-free integerMathematics - Commutative AlgebraSettore MAT/02 - AlgebraCover (topology)010201 computation theory & mathematicsAssociated primesSettore MAT/03 - GeometriaCombinatorics (math.CO)05C65 13F55 05E99 13C99
researchProduct

An Efficient Algorithm for Helly Property Recognition in a Linear Hypergraph

2001

International audience; In this article we characterize bipartite graphs whose associated neighborhood hypergraphs have the Helly property. We examine incidence graphs both hypergraphs and linear hypergraphs and we give a polynomial algorithm to recognize if a linear hypergraph has the Helly property.

HypergraphProperty (philosophy)General Computer Science[ INFO.INFO-NI ] Computer Science [cs]/Networking and Internet Architecture [cs.NI]0102 computer and information sciences02 engineering and technologyComputer Science::Computational Geometry01 natural sciencesPolynomial algorithmTheoretical Computer ScienceCombinatorics[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI][ INFO.INFO-DC ] Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC]Computer Science::Discrete Mathematics[ INFO.INFO-TI ] Computer Science [cs]/Image Processing0202 electrical engineering electronic engineering information engineeringMathematics::Metric GeometryComputingMilieux_MISCELLANEOUSMathematicsIncidence (geometry)Discrete mathematicsMathematics::CombinatoricsEfficient algorithm16. Peace & justice010201 computation theory & mathematics[INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV]Bipartite graph020201 artificial intelligence & image processing[INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC]Computer Science(all)Electronic Notes in Theoretical Computer Science
researchProduct

Steiner configurations ideals: Containment and colouring

2021

Given a homogeneous ideal I&sube

HypergraphSteiner systemsCurrent (mathematics)General MathematicsIdeals of points Monomial ideals Steiner systems Symbolic powers of ideals Waldschmidt constantideals of points0102 computer and information sciencesCommutative Algebra (math.AC)01 natural sciencesCombinatoricsMathematics - Algebraic GeometryMonomial idealsFOS: MathematicsComputer Science (miscellaneous)Mathematics - Combinatorics13F55 13F20 14G50 51E10 94B270101 mathematicsAlgebraic Geometry (math.AG)Engineering (miscellaneous)MathematicsSymbolic powers of idealsmonomial idealsContainment (computer programming)ConjectureIdeal (set theory)Mathematics::Commutative Algebralcsh:Mathematics010102 general mathematicslcsh:QA1-939Mathematics - Commutative AlgebraIdeals of pointsWaldschmidt constantComplement (complexity)Settore MAT/02 - AlgebraSteiner systemCover (topology)010201 computation theory & mathematicssymbolic powers of idealsIdeals of points; Monomial ideals; Steiner systems; Symbolic powers of ideals; Waldschmidt constantCombinatorics (math.CO)Settore MAT/03 - Geometriamonomial ideals ideals of points symbolic powers of ideals Waldschmidt constant Steiner systems
researchProduct

Hypergraph imaging: an overview

2002

Hypergraph theory as originally developed by Berge (Hypergraphe, Dunod, Paris, 1987) is a theory of finite combinatorial sets, modeling lot of problems of operational research and combinatorial optimization. This framework turns out to be very interesting for many other applications, in particular for computer vision. In this paper, we are going to survey the relationship between combinatorial sets and image processing. More precisely, we propose an overview of different applications from image hypergraph models to image analysis. It mainly focuses on the combinatorial representation of an image and shows the effectiveness of this approach to low level image processing; in particular to seg…

HypergraphTheoretical computer scienceComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONImage processingImage segmentationEdge detectionScale spaceArtificial IntelligenceComputer Science::Computer Vision and Pattern RecognitionSignal ProcessingCombinatorial optimizationComputer Vision and Pattern RecognitionRepresentation (mathematics)SoftwareMathematicsofComputing_DISCRETEMATHEMATICSFeature detection (computer vision)MathematicsPattern Recognition
researchProduct

Social Influence Maximization in Hypergraphs

2021

This work deals with a generalization of the minimum Target Set Selection (TSS) problem, a key algorithmic question in information diffusion research due to its potential commercial value. Firstly proposed by Kempe et al., the TSS problem is based on a linear threshold diffusion model defined on an input graph with node thresholds, quantifying the hardness to influence each node. The goal is to find the smaller set of items that can influence the whole network according to the diffusion model defined. This study generalizes the TSS problem on networks characterized by many-to-many relationships modeled via hypergraphs. Specifically, we introduce a linear threshold diffusion process on such …

Hypergraphsocial networksSelection (relational algebra)Computer scienceGeneralizationScienceQC1-999hypergraphGeneral Physics and Astronomy02 engineering and technologyAstrophysicsArticlehigh-order networkSet (abstract data type)influence diffusion020204 information systems0202 electrical engineering electronic engineering information engineeringDiscrete mathematicshigh-order networks; hypergraphs; influence diffusion; social networks; target set selectionPhysicsQMaximizationQB460-466high-order networkshypergraphstarget set selectionGraph (abstract data type)020201 artificial intelligence & image processingNode (circuits)Heuristics
researchProduct