Recognition algorithms for orders of small width and graphs of small Dilworth number