Partition positive number on one side and use negative number to indicate existence, AC