Publications (12)
What makes normalized weighted satisfiability tractable
Iyad Kanj, Ge Xia
We consider the weighted antimonotone and the weighted monotone satisfiability problems on normalized circuits of depth at most , abbreviated {\sc wsat} and {\sc w…
Streaming Algorithms for Graph k-Matching with Optimal or Near-Optimal Update Time
Jianer Chen, Qin Huang, Iyad Kanj +2
We present streaming algorithms for the graph -matching problem in both the insert-only and dynamic models. Our algorithms, with space complexity matching the best upper bounds,…
An Time FPT Algorithm for Convex Flip Distance
Haohong Li, Ge Xia
Let be a convex polygon in the plane, and let be a triangulation of . An edge in is called a diagonal if it is shared by two triangles in . A flip of a diagon…
There are Plane Spanners of Maximum Degree 4
Nicolas Bonichon, Iyad Kanj, Ljubomir PerkoviÄ +1
Let E be the complete Euclidean graph on a set of points embedded in the plane. Given a constant t >= 1, a spanning subgraph G of E is said to be a t-spanner, or simply a spanner,…
The Stretch Factor of the Delaunay Triangulation Is Less Than 1.998
Ge Xia
Let be a finite set of points in the Euclidean plane. Let be a Delaunay triangulation of . The {\em stretch factor} (also known as {\em dilation} or {\em spanning ratio}…
Algorithms for Cut Problems on Trees
Iyad Kanj, Guohui Lin, Tian Liu +7
We study the {\sc multicut on trees} and the {\sc generalized multiway Cut on trees} problems. For the {\sc multicut on trees} problem, we present a parameterized algorithm that ru…
The Complexity of Tree Partitioning
Zhao An, Qilong Feng, Iyad Kanj +1
Given a tree on vertices, and , the Tree Partitioning problem asks if at most edges can be removed from so that the resulting componen…
The Yao Graph is a Spanner
Wah Loon Keng, Ge Xia
In this paper we prove that , the Yao graph with five cones, is a spanner with stretch factor . Since is the only Yao graph whose status of…
Optimal Streaming Algorithms for Graph Matching
Jianer Chen, Qin Huang, Iyad Kanj +1
We present parameterized streaming algorithms for the graph matching problem in both the dynamic and the insert-only models. For the dynamic streaming model, we present a one-pass…
New and Improved Spanning Ratios for Yao Graphs
Luis Barba, Prosenjit Bose, Mirela Damian +7
For a set of points in the plane and a fixed integer , the Yao graph partitions the space around each point into equiangular cones of angle , and connect…
Computing the flip distance between triangulations
Iyad Kanj, Eric Sedgwick, Ge Xia
Let be a triangulation of a set of points in the plane, and let be an edge shared by two triangles in such that the quadrilateral forme…
Near-Optimal Algorithms for Point-Line Covering Problems
Jianer Chen, Qin Huang, Iyad Kanj +1
We study fundamental point-line covering problems in computational geometry, in which the input is a set of points in the plane. The first is the Rich Lines problem, which asks…