906 research outputs found

    Tort Bonding Sale Agreement (SPA) Made by Notary (Study Decision Number: 17 / Pdt.G / 2011 / PN.Smg)

    Get PDF
    SPA is a preliminary agreement on the purchase agreement of land rights which the agreement will be drawn up and signed in the presence of PPAT, a description of relevant scientific writing case of default in Decision 17 / Pdt.G / 2011 / PN.Smg. Issues examined in this study is enforceable agreement of sale and purchase agreement (SPA) Notary as evidence of authentic, legal consequences if one of the parties in the agreement binding sale and purchase (SPA) has been in default as well as legal protection of the fulfillment of the rights of parties where one party is in default in a binding sale and purchase agreement. The method used in this research is the socio-legal approach that comes from the collection of the data obtained from the primary data and secondary data, and then analyzed by qualitative analysis method. The study provides an answer that the legal force PPJB made before a notary public as authentic evidence in the transfer of rights agreement is very strong. Regarding the legal consequences if one party has been in default then the agreement was null and void, in addition to the legal protection of the fulfillment of the rights of the parties where one party is in default is a return to power of the SPA were made, namely if made before a Notary Public, perlindunganya force in accordance with the protection of an authentic agreement.Keyword: Bonding Sale Agreement (SPA); Notary; Legal Consequences

    Pancake Flipping is Hard

    Get PDF
    Pancake Flipping is the problem of sorting a stack of pancakes of different sizes (that is, a permutation), when the only allowed operation is to insert a spatula anywhere in the stack and to flip the pancakes above it (that is, to perform a prefix reversal). In the burnt variant, one side of each pancake is marked as burnt, and it is required to finish with all pancakes having the burnt side down. Computing the optimal scenario for any stack of pancakes and determining the worst-case stack for any stack size have been challenges over more than three decades. Beyond being an intriguing combinatorial problem in itself, it also yields applications, e.g. in parallel computing and computational biology. In this paper, we show that the Pancake Flipping problem, in its original (unburnt) variant, is NP-hard, thus answering the long-standing question of its computational complexity.Comment: Corrected reference

    Decomposing Cubic Graphs into Connected Subgraphs of Size Three

    Get PDF
    Let S={K1,3,K3,P4}S=\{K_{1,3},K_3,P_4\} be the set of connected graphs of size 3. We study the problem of partitioning the edge set of a graph GG into graphs taken from any non-empty SSS'\subseteq S. The problem is known to be NP-complete for any possible choice of SS' in general graphs. In this paper, we assume that the input graph is cubic, and study the computational complexity of the problem of partitioning its edge set for any choice of SS'. We identify all polynomial and NP-complete problems in that setting, and give graph-theoretic characterisations of SS'-decomposable cubic graphs in some cases.Comment: to appear in the proceedings of COCOON 201

    Graph Motif Problems Parameterized by Dual

    Get PDF
    Let G=(V,E) be a vertex-colored graph, where C is the set of colors used to color V. The Graph Motif (or GM) problem takes as input G, a multiset M of colors built from C, and asks whether there is a subset S subseteq V such that (i) G[S] is connected and (ii) the multiset of colors obtained from S equals M. The Colorful Graph Motif problem (or CGM) is a constrained version of GM in which M=C, and the List-Colored Graph Motif problem (or LGM) is the extension of GM in which each vertex v of V may choose its color from a list L(v) of colors. We study the three problems GM, CGM and LGM, parameterized by l:=|V|-|M|. In particular, for general graphs, we show that, assuming the strong exponential-time hypothesis, CGM has no (2-epsilon)^l * |V|^{O(1)}-time algorithm, which implies that a previous algorithm, running in O(2^lcdot |E|) time is optimal. We also prove that LGM is W[1]-hard even if we restrict ourselves to lists of at most two colors. If we constrain the input graph to be a tree, then we show that, in contrast to CGM, GM can be solved in O(4^l *|V|) time but admits no polynomial kernel, while CGM can be solved in O(sqrt{2}^l + |V|) time and admits a polynomial kernel

    Acyclic Coloring of Graphs of Maximum Degree Δ\Delta

    Get PDF
    International audienceAn acyclic coloring of a graph GG is a coloring of its vertices such that: (i) no two neighbors in GG are assigned the same color and (ii) no bicolored cycle can exist in GG. The acyclic chromatic number of GG is the least number of colors necessary to acyclically color GG, and is denoted by a(G)a(G). We show that any graph of maximum degree Δ\Delta has acyclic chromatic number at most Δ(Δ1)2\frac{\Delta (\Delta -1) }{ 2} for any Δ5\Delta \geq 5, and we give an O(nΔ2)O(n \Delta^2) algorithm to acyclically color any graph of maximum degree Δ\Delta with the above mentioned number of colors. This result is roughly two times better than the best general upper bound known so far, yielding a(G)Δ(Δ1)+2a(G) \leq \Delta (\Delta -1) +2. By a deeper study of the case Δ=5\Delta =5, we also show that any graph of maximum degree 55 can be acyclically colored with at most 99 colors, and give a linear time algorithm to achieve this bound

    Finding Occurrences of Protein Complexes in Protein-Protein Interaction Graphs

    Get PDF
    International audienceIn the context of comparative analysis of protein-protein interaction graphs, we use a graph-based formalism to detect the preservation of a given protein complex G in the protein-protein interaction graph H of another species with respect to (w.r.t.) orthologous proteins. Two problems are considered: the Exact-(μ\muG; μ\muH)-Matching problem and the Max-(μ\muG; μ\muH)-Matching problems, where μ\muG (resp. μ\muH) denotes in both problems the maximum number of orthologous proteins in H (resp. G) of a protein in G (resp. H). Following [10], the Exact-(μ\muG; μ\muH)-Matching problem asks for an injective homomorphism of G to H w.r.t. orthologous proteins. The optimization version is called the Max-(μ\muG; μ\muH)-Matching problem and is concerned with finding an injective mapping of a graph G to a graph H w.r.t. orthologous proteins that matches as many edges of G as possible. For both problems, we essentially focus on bounded degree graphs and extremal small values of parameters μ\muG and μ\muH

    Obtaining a Triangular Matrix by Independent Row-Column Permutations

    Get PDF
    International audienceGiven a square (0, 1)-matrix A, we consider the problem of deciding whether there exists a permutation of the rows and a permutation of the columns of A such that after carrying out these permutations , the resulting matrix is triangular. The complexity of the problem was posed as an open question by Wilf [7] in 1997. In 1998, DasGupta et al. [3] seemingly answered the question, proving it is NP-complete. However , we show here that their result is flawed, which leaves the question still open. Therefore, we give a definite answer to this question by proving that the problem is NP-complete. We finally present an exponential-time algorithm for solving the problem

    Minimum feedback vertex set and acyclic coloring

    Get PDF
    International audienceIn the feedback vertex set problem, the aim is to minimize, in a connected graph G =(V,E), the cardinality of the set overline(V) (G) \subseteq V , whose removal induces an acyclic subgraph. In this paper, we show an interesting relationship between the minimum feedback vertex set problem and the acyclic coloring problem (which consists in coloring vertices of a graph G such that no two colors induce a cycle in G). Then, using results from acyclic coloring, as well as other techniques, we are able to derive new lower and upper bounds on the cardinality of a minimum feedback vertex set in large families of graphs, such as graphs of maximum degree 3, of maximum degree 4, planar graphs, outerplanar graphs, 1-planar graphs, k-trees, etc. Some of these bounds are tight (outerplanar graphs, k-trees), all the others differ by a multiplicative constant never exceeding 2

    On the Approximability of Comparing Genomes with Duplicates

    Get PDF
    International audienceA central problem in comparative genomics consists in computing a (dis-)simi- larity measure between two genomes, e.g. in order to construct a phylogenetic tree. A large number of such measures has been proposed in the recent past: number of reversals, number of breakpoints, number of common or conserved intervals, SAD etc. In their initial definitions, all these measures suppose that genomes contain no duplicates. However, we now know that genes can be duplicated within the same genome. One possible approach to overcome this difficulty is to establish a one-to-one correspondence (i.e. a matching) between genes of both genomes, where the correspondence is chosen in order to optimize the studied measure. Then, after a gene relabeling according to this matching and a deletion of the unmatched signed genes, two genomes without duplicates are obtained and the measure can be computed. In this paper, we are interested in three measures (number of breakpoints, number of common intervals and number of conserved intervals) and three models of matching (exemplar model, maximum matching model and non maximum matching model). We prove that, for each model and each measure, computing a matching between two genomes that optimizes the measure is APX-Hard. We show that this result remains true even for two genomes G1 and G2 such that G1 contains no duplicates and no gene of G2 appears more than twice. Therefore, our results extend those of [5–7]. Finally, we propose a 4-approximation algorithm for a measure closely related to the number of breakpoints, the number of adjacencies, under the maximum matching model, in the case where genomes contain the same number of duplications of each gene

    Obtaining a Triangular Matrix by Independent Row-Column Permutations

    Get PDF
    International audienceGiven a square (0, 1)-matrix A, we consider the problem of deciding whether there exists a permutation of the rows and a permutation of the columns of A such that after carrying out these permutations , the resulting matrix is triangular. The complexity of the problem was posed as an open question by Wilf [7] in 1997. In 1998, DasGupta et al. [3] seemingly answered the question, proving it is NP-complete. However , we show here that their result is flawed, which leaves the question still open. Therefore, we give a definite answer to this question by proving that the problem is NP-complete. We finally present an exponential-time algorithm for solving the problem
    corecore