Pushing Blocks via Checkable Gadgets: PSPACE-Completeness of Push-1F and Block/Box Dude.
Joshua AniLily ChungErik D. DemaineYevhenii DiomidovDylan H. HendricksonJayson LynchPublished in: FUN (2022)
Keyphrases
- block size
- image blocks
- dct coefficients
- fractal image coding
- variable size
- equal sized
- statistical modeling
- grayscale images
- discrete cosine transform
- block matching algorithm
- neighboring blocks
- block coding
- temporal logic
- mazurkiewicz traces
- block matching
- quadtree
- arbitrary size
- bit rate
- motion estimation
- transform domain
- variable block size
- test images
- motion vectors
- gray scale
- orthogonal basis
- feature vectors