Properties, proved and conjectured, of Keller, Mycielski, and queen graphs